1) Cercetati validitatea urmatoarei

formule, folosind metoda

dihotomica si metoda formelor normale
perfecte:

[p & [(p V q) -> r]] -> r

2) Cercetati validitatea urmatoarei

formule, folosind metod a
reducerii la absurd si metoda formelor
normale perfecte:

~[p -> ~[(p V q) -> r]] V r

3) Cercetati validitatea urmatoarei

formule, folosind metoda
dihotomica:

[(p & ~q) & [(q V r) -> s] & ~(r & p &
s)] -> (~q & ~r)

Atribuiti valori literelor

propozitionale, luandu-le in
considerare in ordine alfabetica.
4) Cercetati validitatea urmatoarei
formule, folosind metoda
dihotomica, metoda reducerii la absurd
si metoda tabelelor
de adevar:

~[(p -> q) & r] V [(~r V p) -> q]

5) Cercetati prin metoda reducerii la

absurd urmatoarea
formula, pentru a determina daca este
valida:

[(~r V p) -> q] -> [(p -> q) & r]

De asemenea, cercetati cu ajutorul

aceleiasi metode
formala care are drept antecedent
consecventul conditionalului
de mai sus, iar consecventul il
constituie antecedentul
conditionalului de mai sus.

6) Cercetati validitatea urmatoarei

formule, folosind metoda
reducerii la absurd si metoda formelor
normale perfecte:
 [(p & q) V (r -> p)] -> [~r V (p & q)]

7) Pornind de la formula:

(p -> q) & (~p -> ~r) & r

obtineti prin deductie naturala

urmatoarea formula:

Verificati daca ati procedat corect,

folosind metoda
reducerii la absurd.

8) Pornind de la urmatoarele formule:

(p V ~r) -> ~q
~(r & ~p)
p -> (r & q)

incercati sa obtineti prin deductie

naturala formula:

~r
Verificati daca ati procedat corect,
folosind tabelele
de adevar.

9) Determinati daca urmatoarea formula

este sau nu
valida, folosind forme normale
disjunctive si forme
normale disjunctive perfecte:

[(p V q) & r] -> [(p & q) -> r]

10) Determinati daca urmatoarea formula

este valida,
folosind metoda reducerii la absurd:

[p & (q V p)] -> q

Construiti o formula valida, pornind de

la aceasta,
folosind deductia naturala. Verificati
daca formula
obtinuta este valida, folosind metoda
dihotomica.

11) Folositi cel putin doua metode

diferite de determinare
a validitatii, pentru a cerceta daca
urmatoarea formula
este valida:

[p V [~p V [p V (~p V s)]]] -> s

In cazul in care formula nu este

valida, cercetati daca
nu cumva este contradictorie, aducand-o
la forma normala
conjunctiva perfecta.

12) Rescrieti urmatoarea formula,

eliminand operatorul "->":

[(p -> r) & (q -> r)] -> [(p & q) ->

r]

Pornind de la formula obtinuta,

cercetati daca aceasta
este valida, folosind metoda reducerii
la absurd si
metoda dihotomica.

13) Pornind de la urmatoarea formula:

p & (q -> p)
construiti, cu ajutorul deductiei
naturale, o formula
valida care sa cuprinda cel putin trei
litere propozitionale
diferite. Verificati daca ati procedat
corect, construind
forma normala disjunctiva perfecta a
formulei obtinute.

14) Cercetati validitatea urmatoarei

formule, folosind metoda
reducerii la absurd:

[[(p V ~r) -> q] & ~(r & ~p) & [p ->(r

& q)]] -> ~r

Realizati cea mai mica modificare

posibila prin care formula
de mai sus poate fi transformata intr-o
formula nevalida.
Explicati cum ati procedat.

15) Cercetati relatia logica dintre

urmatoarele doua formule,
folosind metoda tabelelor de adevar, si
cel putin inca una
din metodele cunoscute:
 (p & q) & ~r
r -> (p & q)

16) Determinati daca urmatoarea formula

este valida, folosind
deductia naturala:

[(p -> q) & (r -> q)] -> [(p V r) ->

q]

17) Determinati daca urmatoarea formula

este valida, folosind
deductia naturala:

[[q V (r & q)] & [(q -> t) & (t ->

s)]] -> s

18) Determinati daca urmatoarea formula

este valida, folosind
deductia naturala:

[[p -> (q -> r)] & (p & ~r)] -> ~q

19) Cercetati validitatea urmatoarei

formule, folosind metoda
dihotomica si metoda reducerii la
absurd:
 [(~p V q) & (p -> r) & [q -> (r ->
t)]] -> (p -> ~t)

20) Rescrieti urmatoarea formula

folosind doar operatorii
antidisjunctie si negatie:

[(p & q) -> r] -> [(p -> r) & (q ->

r)]

Cercetati apoi daca formula obtinuta

este valida,
folosind tabelele de adevar.

21) Se da urmatoarea formula:

[p & (~p V ~q) & (q V r)] -> ~[p -> (q

V r)]

Construiti forma normala disjunctiva si

forma normala
disjunctiva perfecta, pentru a vedea
daca formula
este sau nu valida. In cazul in care
formula nu este
valida, cercetati daca este sau nu
contradictorie,
construindu-i forma normala conjunctiva
perfecta.