Mg. Joel Jesús Espinoza Alayo

LÓGICA DE PREDICADOS EXPRESIONES CATEGÓRICAS Y DIAGRAMAS

BOOLE LATIN FORMAS BOOLE LATIN FORMAS

S´P= S a P Todo S es P S´P≠ S o P Algún S no es P S e ´P Ningún S es no P S i ´P Algún S es no P

´PS= ´P e S Ningún no P es S ´PS≠ ´P i S Algún no P es S ´P a ´S Todo no P es no S ´P o ´S Algún no P no es no S

¬(S´P≠) ¬( S o P) Es falso que algún S no es P

¬(S´P=) ¬(S a P) Es falso que todo S es 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

¬( ´PS≠) ¬( ´P i S) Es falso que algún no P es S

¬( ´PS=) ¬( ´P e S) Es falso que ningún no P es S

¬( ´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

SP= S e P Ningún S es P SP≠ S i P Algún S es P S a ´P Todo S es no P S o ´P Algún S no es no P

PS= P e S Ningún P es S PS≠ P i S Algún P es S P a ´S Todo P es no S P o ´S Algún P no es no S

¬(SP≠) ¬(S i P) Es falso que algún S es P

¬(SP=) ¬(S e P) Es falso que ningún S es P

¬( S o ´P) Es falso que algún S no es no P ¬(S a ´P) Es falso que todo S es no P

¬(PS≠) ¬( P i S) Es falso que algún P es S

¬(PS=) ¬(P e S) Es falso que ningún P es S

¬( P o ´S) Es falso que algún P no es no S ¬(P a ´S) Es falso que todo P es no S

LATIN FORMAS BOOLE LATIN FORMAS

´SP= ´S e P Ningún no S es P ´SP≠ ´S i P Algún no S es P ´S a ´P Todo no S es no P ´S o ´P Algún no S no es no P

P´S= P a S Todo P es S P´S≠ P o S Algún P no es S P e ´S Ningún P es no S P i ´S Algún P es no S

¬( ´SP≠) ¬( ´S i P) Es falso que algún no S es P

¬( ´SP=) ¬( ´S e P) Es falso que ningún no S es P

¬( ´S o ´P) Es falso que algún no S no es no P ¬( ´S a ´P) Es falso que todo no S es no P

¬(P´S≠) ¬( P o S) Es falso que algún P no es S

¬(P´S=) ¬( P a S) Es falso que todo P es S

¬( P i ´S) Es falso que algún P es no S ¬( P e ´S) Es falso que ningún P es no S

BOOLE LATIN FORMAS BOOLE LATIN FORMAS

´S´P= ´S e ´P Ningún no S es no P ´S´P ´S o P Algún no S no es P ´S a P Todo no S es P ´S i ´P Algún no S es no P

´P´S= ´P e ´S Ningún no P es no S

´P´S≠ ´P o S Algún no P no es S

´P a S Todo no P es S ´P i ´S Algún no P es no S

¬( ´S´P≠) ¬( ´S o P) Es falso que algún no S no es P

¬( ´S´P=) ¬( ´S e ´P) Es falso que ningún no S es no P

¬( ´S i ´P) Es falso que algún no S es no P ¬( ´S a P) Es falso que todo no S es P

¬( ´P´S≠) ¬( ´P o S) Es falso que algún no P no es S

¬( ´P´S=) ¬( ´P e ´S) Es falso que ningún no P es no S

¬( ´P i ´S) Es falso que algún no P es no S ¬( ´P a S) Es falso que todo no P es S