شرط 'لازم و کافی' عنوان هایی برای شرط های منطقی هستند. اگر الف شرط لازم برای ب باشد، آنگاه از درستی ب می توان درستی الف را نتیجه گرفت. همچنین ب نیز نمی تواند درست باشد، مگر الف نیز درست باشد. در مقابل الف شرط کافی برای ب است در صورتی که از درستی الف، بتوان درستی ب را نتیجه گرفت.اما در صورت نادرستی الف، نمی توان به نادرستی ب رسید. با این توصیفات٬ الف شرط لازم و کافی برای ب است اگر بتوان از درستی ال...
