Tipuri de formule logice cu propozitii compuse

Formula logica este o expresie din logica propozitionala alcatuita din

litere, conectori logici si paranteze.
In functie de valoarea lor de adevar, exista trei tipuri de formule logice:
1. Tautologii - o formula logica este tautologie sau lege logica daca
este adevarata indiferent de valorile de adevar ale componentelor
sale (pe ultima coloana a tabelului de adevar avem doar 1)
2. Formule contingente (realizabile) - o formula logica este
contingenta daca, in functie de valorile de adevar ale
componentelor sale, este uneori adevarata, uneori falsa (pe ultima
coloana a tabelului de adevar avem si 1 si 0).
3. Formule inconsistente (contradictorii) - o formula logica este
inconsistenta daca este falsa indiferent de valorile de adevar ale
componentelor sale (pe ultima coloana a tabelului de adevar
avem doar 0).
p → (pVq)

p q
1 1
1 0
0 1
0 0
Tautologie (lege logica)
pVq p → (pVq)
1 1
1 1
1 1
0 1
(pWq) → q͞

p q ͞q pWq (pWq) → q͞
1 1 0 0 1
1 0 1 1 1
0 1 0 1 0
0 0 1 0 1
Formula contingenta (realizabila)
p˄ ͞p
p ͞p p˄ ͞p
1 0 0
0 1 0
Formula inconsistenta(contradictorie)

p˄q- ambele adevarate→1 p→q: 1→0→0

pVq- cel putin una adev→1 p↔q: aceleasi valori→1
pWq- valori diferite→1

_____________
Formule logice:
1.tautologie/lege logica----pe ultima coloana --1
2.contingente/realizabile-pe ultima coloana---1 si 0
3.inconsistente/contradictorii--- pe ultima coloana---- 0