Logika, formuły KRP, KRZ, postać preneksowa

Pytania o rozwiązania zadań.
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij
rodrigoborgia1492
Witam na forum
Witam na forum
Posty: 1
Rejestracja: 19 cze 2017, 12:16

Logika, formuły KRP, KRZ, postać preneksowa

Post autor: rodrigoborgia1492 » 19 cze 2017, 12:18

Zna ktoś poprawne na 100 % przykłady formuł?

- klasycznego rachunku zdań KRP,
- klasycznego rachunku predykatów KRZ
- formuły KRP w preneksowej postaci normalnej?

Bo w materiałach, które znalazłem w necie jest tak wszystko dziwnie popisane, że nie wiadomo co jest czym........