Logika Weronika: Bardzo proszę o pomoc jeśli ktoś się znajdzie, to będę ogromnie wdzięczna z góry dziękuję. Zadanie 1. Podać przykłady 5 tautologii rachunku zdań (o więcej niż jednej zmiennej) z własnym przykładem podstawień. Zadanie 2. Podać przykłady 5 tautologii rachunku predykatów z własnym przykładem podstawień.

Janek191: z.1 ∼ p ⇒ ( p ⇒ q ) ( p ∧ q ) ⇒ p p ⇒ ( p ∨ q ) [ ( p ⇒ q ) ∧ ∼ q ] ⇒ ∼ p [ ( p ⇒ q ) ∧ p ] ⇒ q

Weronika: tautologie to znam, ale nie wiem jakie przykłady do nich podać

Weronika: i w tym właśnie tkwi problem