Witam

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

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

Zrobiłem to za pomocą tabeli. Tak mam to robic?


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”

Może ktoś rozpisać symbolicznie to zdanie bo rozumiem że to bedzie ~(p<=>q). Czyli mam nie zrobic zaprzeczenie według punktu B ? Znalazlem rozwiazanie : „Nie pojadę do Francji wtedy i tylko wtedy, gdy nie nauczę się języka francuskiego” a wedlug B można zrobić ¬(p=>q) v ¬(q=>p)

bez TeXa bo mi wywala mi wszystko