Tautologia rachunku predykatów

Zdania. Tautologie. Język matematyki. Wszelkie zagadnienia związane z logiką matematyczną...
Tyran
Użytkownik
Użytkownik
Posty: 14
Rejestracja: 4 sty 2022, o 17:41
Płeć: Mężczyzna
wiek: 19
Podziękował: 7 razy

Tautologia rachunku predykatów

Post autor: Tyran »

Witam! Pokażecie jak rozwiązać zdania typu:
a)\(\displaystyle{ \forall x \forall y P(x,y) \Leftrightarrow \forall t \forall s P(t,s)}\)
b)\(\displaystyle{ \neg \exists x \exists y P(x) \Rightarrow \forall x \forall y ( \neg P(x,y))}\)
Robię je rozbijając na zdania, ale średnio wychodzi.
ODPOWIEDZ