Por este motivo, cuando queremos analizar la necesidad lógica, sustituimos cada oración simple («Fido es hombre») por una letra (que llamaremos variable ) y rescatamos solamente los operadores lógicos.
Sabemos que el enunciado es falso, aunque no sepamos si Fido es hombre.
Sabemos que es verdadero, aunque no tenemos conocimiento de si Fido es o no es hombre: solo necesitamos entender el significado de la disyunción (o bien..., o bien...) y de la negación (no).
Los ejemplos de YourDictionary.com han sido recopilados de diversas fuentes para reflejar el uso actual e histórico de la lengua. Estos ejemplos no representan las opiniones de YourDictionary.com.