Permite manejar con mayor rapidez las reglas de inferencia tradicionales y los diagramas de Venn

1. Mg. Joel Jesús Espinoza Alayo
LÓGICA DE PREDICADOS
EXPRESIONES CATEGÓRICAS Y DIAGRAMAS
BOOLE LATIN FORMAS BOOLE LATIN FORMAS
SaP Todo S es P SoP Algún S no es P
S´P= S´P≠
S e ´P Ningún S es no P S i ´P Algún S es no P
´P e S Ningún no P es S ´P i S Algún no P es S
´PS= ´PS≠
´P a ´S Todo no P es no S ´P o ´S Algún no P no es no S
¬( S o P) Es falso que algún S no es P ¬(S a P) Es falso que todo S es P
¬(S´P≠) ¬(S´P=)
¬( S i ´P) Es falso que algún S es no P ¬( S e´P) Es falso que ningún S es no P
¬( ´P i S) Es falso que algún no P es S ¬( ´P e S) Es falso que ningún no P es S
¬( ´PS≠) ¬( ´PS=)
¬( ´P o ´S) Es falso que algún no P no es no S ¬( ´P a ´S) Es falso que todo no P es no S
BOOLE LATIN FORMAS BOOLE LATIN FORMAS
SeP Ningún S es P SiP Algún S es P
SP= SP≠
S a ´P Todo S es no P S o ´P Algún S no es no P
PeS Ningún P es S PiS Algún P es S
PS= PS≠
P a ´S Todo P es no S P o ´S Algún P no es no S
¬(S i P) Es falso que algún S es P ¬(S e P) Es falso que ningún S es P
¬(SP≠) ¬(SP=)
¬( S o ´P) Es falso que algún S no es no P ¬(S a ´P) Es falso que todo S es no P
¬( P i S) Es falso que algún P es S ¬(P e S) Es falso que ningún P es S
¬(PS≠) ¬( P o ´S) Es falso que algún P no es no S ¬(PS=) ¬(P a ´S) Es falso que todo P es no S
LATIN FORMAS BOOLE LATIN FORMAS
´S e P Ningún no S es P ´S i P Algún no S es P
´SP= ´SP≠
´S a ´P Todo no S es no P ´S o ´P Algún no S no es no P
PaS Todo P es S PoS Algún P no es S
P´S= P´S≠
P e ´S Ningún P es no S P i ´S Algún P es no S
¬( ´S i P) Es falso que algún no S es P ¬( ´S e P) Es falso que ningún no S es P
¬( ´SP≠) ¬( ´S o ´P) Es falso que algún no S no es no P ¬( ´SP=) ¬( ´S a ´P) Es falso que todo no S es no P
¬( P o S) Es falso que algún P no es S ¬( P a S) Es falso que todo P es S
¬(P´S≠) ¬( P i ´S) Es falso que algún P es no S ¬(P´S=) ¬( P e ´S) Es falso que ningún P es no S
BOOLE LATIN FORMAS BOOLE LATIN FORMAS
´S e ´P Ningún no S es no P ´S o P Algún no S no es P
´S´P= ´S a P Todo no S es P ´S´P ´S i ´P Algún no S es no P
´P e ´S Ningún no P es no S ´P o S Algún no P no es S
´P´S= ´P´S≠
´P a S Todo no P es S ´P i ´S Algún no P es no S
¬( ´S o P) Es falso que algún no S no es P ¬( ´S e ´P) Es falso que ningún no S es no P
¬( ´S´P≠) ¬( ´S i ´P) Es falso que algún no S es no P ¬( ´S´P=) ¬( ´S a P) Es falso que todo no S es P
¬( ´P o S) Es falso que algún no P no es S ¬( ´P e ´S) Es falso que ningún no P es no S
¬( ´P´S≠) ¬( ´P i ´S) Es falso que algún no P es no S ¬( ´P´S=) ¬( ´P a S) Es falso que todo no P es S