Zadanie 2, c

Wykaż, że poniższa sekwencja jest formułą zdaniową rachunku predykatów.

1) Każda formuła zdaniowa atomowa rachunku predykatów jest formułą zdaniową rachunku
predykatów.

2) Jeżeli wyrażenie postaci A jest formułą zdaniową rachunku predykatów, to jest też formułą
zdaniową rachunku predykatów wyrażenie postaci ~(A).

3) Jeżeli wyrażenia postaci A i B są formułami zdaniowymi rachunku predykatów, to są też

formułami zdaniowymi rachunku predykatów wyrażenia postaci (A) ^(B), (A)v(B), (A)→(B) oraz
(A)≡(B).

4) Jeżeli wyrażenie postaci A jest formułą zdaniową rachunku predykatów, to formułami

zdaniowymi rachunku predykatów są też wyrażenia postaci ^(A) oraz V(A) (dla dowolnego i)

PRZYKŁAD

„V[P(x)vR(x)]≡V~[P(x)]→V[R(x)]”
1) P(x), R(x)

3) P(x)vR(x)

4) V[P(x)vR(x)]
2) ~[P(x)]

4) V~[P(x)], V[R(x)]
3) V~[P(x)→V[R(x)]
3) V[P(x)vR(x)]≡V~[P(x)]→V[R(x)]