Funtzio, operazio edo zeregin baten 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).
Iturria: López-García, Juan Carlos (2020). Guía de referencia de Scratch 3.0. Edukafé, Documentos de trabajo de la Escuela, No. 10. Cali: Universidad Icesi. Recuperado, el 25 de Mayo de 2020, de Eduteka: http://doi.org/10.18046/edukafe.2020.10