Tabele

TABELUL INFERENŢELOR IMEDIATE CU PROPOZIŢII CATEGORICE (EDUCŢIILE) SaP ----PiS Se~P Po~S ~PeS ~Pa~S ~SoP ~Si~P

Conversiunea simplă Conversiunea prin accident Obversiunea Obvertirea conversei Contrapoziţia parţială Contrapoziţia totală Inversiunea parţială Inversiunea totală

SeP PeS PoS Sa~P Pa~S ~PiS ~Po~S ~SiP ~So~P

SiP PiS ----So~P Po~S -----------------

SoP --------Si~P ----~PiS ~Po~S ---------

TABELUL FUNCŢIILOR DE ADEVĂR ALE COMPUŞILOR VERIFUNCŢIONALI p q 1 1 0 0

1 0 1 0

(1) pV~p

(2) pVq

(3) p←q

(4) p

(5) p→q

(6) q

tautologia

disjuncţia

implicaţia conversă

prepend.

implicaţi a directă

postpend.

1 1 1 1

1 1 1 0

1 1 0 1

1 1 0 0

1 0 1 1

1 0 1 0

(7) p≡q

(8) p&q

(9) p/q

(10) pWq

(11) ~q

(12) ~(p→q)

echivalenţa

conjunc ţia

incompatibilitatea

disjuncţia exclusivă

prenonpend.

negaţia implicaţiei

1 0 0 1

1 0 0 0

0 1 1 1

0 1 1 0

0 1 0 1

0 1 0 0

(13) ~p postnonpend.

(14) ~(q←p)

(15) pΛq

(16) p&~p

negaţia implic. conv.

excluziunea

contradicţia

0 0 1 1

0 0 1 0

0 0 0 1

0 0 0 0