Podać zaprzeczenie zdania i doprowadzić je do wyrażenia nie zawierającego... Zadania.info: rozwiązanie zadania, Logika, 6866597

Zadanie nr 6866597

Podać zaprzeczenie zdania i doprowadzić je do wyrażenia nie zawierającego negacji.

∀z ∀t∀y [(z + t ≤ y) ∧ cos2 t = 2z]

Rozwiązanie

Korzystamy z podstawowych praw rachunku zdań

∼ (∀ φ (x)) ⇐ ⇒ ∃ φ (x) x x ∼ (∃x φ (x)) ⇐ ⇒ ∀x φ (x) ∼ (p ∧ q) ⇐ ⇒ (∼ p∨ ∼ q) ∼ (p ∨ q) ⇐ ⇒ (∼ p∧ ∼ q) ∼ (p ⇒ q) ⇐ ⇒ (p∧ ∼ q).

Liczymy

( ) 2 ∼ ∀z∀t∀y [(z+ t ≤ y)∧ co s t = 2z] ⇐ ⇒ ⇐ ⇒ ∃ ∃ ∃ [∼ (z+ t ≤ y )∨ ∼ (co s2t = 2z)] ⇐ ⇒ z t y ⇐ ⇒ ∃z∃t∃y [z + t > y ∨ cos2t ⁄= 2z ].

Odpowiedź: $∃ ∃ ∃ [z + t > y ∨ cos2t ⁄= 2z ] z t y$

Twoje uwagi

Nie rozumiesz fragmentu rozwiązania?
W rozwiązaniu jest błąd lub literówka?
Masz inny pomysł na rozwiązanie tego zadania?
Napisz nam o tym!