Question

Wiadomo że (p<=>q)<=>(p=>q ^ q=>p)

a) udowodnij prawdziwość tej równoważności.

b) Powołując się na znane Ci prawa logiczne uzasadnij, że jest tautologią następujące wyrażenie:

¬(p<=>q) <=> ¬((p=>q) ^ (q=>p))
¬(p<=>q) <=> ¬(p=>q) v ¬(q=>p)

c)Napisz zaprzeczenie zdania

„Pojadę do Francji wtedy i tylko wtedy, gdy nauczę się języka francuskiego”

Answer 1

Mam tylko przykład a)... a ma ktoś dalszą część? :)

 

p   q   p=>q   q=>p   a^b   p<=>q   <=>

1   1     1         1       1         1        1

1   0     0         1       0         0        1

0   1     1         0       0         0        1

0   0     1         1       1         1        1