Beste proposizio bat egiazkoa izan dadin egiazkoa behar duen proposizioa. Proposizio baten baldintza beharrezkoa betetzen ez bada, proposizioa faltsua da; betetzen bada, ordea, ezin da deduzitu proposizioa egiazkoa dela (horretarako, baldintza nahikoa behar da).