''شرط 'لازم و کافی''' عنوان‌هایی برای شرط‌های [[منطق]]ی هستند. اگر الف شرط '''لازم''' برای ب باشد، آنگاه از درستی ب می‌توان درستی الف را نتیجه گرفت. همچنین ب نیز نمی تواندنمی‌تواند درست باشد، مگر الف نیز درست باشد. در مقابل الف شرط '''کافی''' برای ب،ب بهاست آندر حالتی گفته می‌شودصورتی که در صورت اثباتاز درستی الف، بتوان درستی ب را نتیجه گرفت.اما در صورت نادرستی آن،الف، نمی توان به نادرستی ب رسید.
یکبا این توصیفات٬ الف شرط '''لازم و کافی'''بیان‌گربرای رابطه‌ایب است اگر بتوان از نوعدرستی الف٬ درستی ب را نتیجه گرفت و بالعکس. شرط لازم و کافی به در منطق به صورت رابطه منطقی [[اگر و تنها اگر]] بین [[مقدم (منطق)|مقدم]] و [[تالی]] است،بیان به این معنی که درستی هر یک درستیمی‌شود. دیگری را نتیجه می‌دهد.<ref>{{پک | Caplinskas | Dzemyda | Lupeikiene | 2013 | ک=Databases and Information Systems VII: Selected Papers from the Tenth International Baltic Conference, DB&IS 2012 | زبان=en | ص=180}}</ref>
