Zadania.info
Największy internetowy zbiór zadań z matematyki
cornersUpL
cornersUpR

Zadania

Na skróty

Recenzje

Linki sponsorowane

cornersM

Linki sponsorowane

cornersR
Zadanie nr 6142748

Oceń wartość logiczną podanego zdania i napisz jego zaprzeczenie:

 √ -- √ -- ∀x ∈R (x < 2 ∨ x > 2)
Wersja PDF
Rozwiązanie

Pisząc zaprzeczenia zdań będziemy korzystać z podstawowych praw rachunku zdań i kwantyfikatorów:

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

Zdanie jest nieprawdziwe, bo √ -- 2 nie spełnia warunku pod kwantyfikatorem. Napiszmy teraz jego zaprzeczenie.

 ( ) √ -- √ -- √ -- √ -- ∼ ∀x∈R (x < 2∨ x > 2) ⇐ ⇒ ∃x∈R ∼ (x < 2∨ x > 2) ⇐ ⇒ √ -- √ -- √ -- ⇐ ⇒ ∃x∈R (x ≥ 2∧ x ≤ 2) ⇐ ⇒ ∃x∈R x = 2.

 
Odpowiedź: Fałszywe. Zaprzeczenie:  √ -- ∃x ∈R x = 2

Wersja PDF
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!