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 9360339

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

∃x ∈Z (x ≥ 2 ∧ x ≤ 5 )
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 prawdziwe, bo np. x = 3 spełnia warunek pod kwantyfikatorem. Napiszmy teraz jego zaprzeczenie.

∼ (∃x∈Z (x ≥ 2∧ x ≤ 5)) ⇐ ⇒ ∀x∈Z ∼ (x ≥ 2 ∧ x ≤ 5 ) ⇐ ⇒ ⇐ ⇒ ∀x ∈Z (x < 2 ∨ x > 5).

 
Odpowiedź: Prawdziwe. Zaprzeczenie: ∀x ∈Z (x < 2 ∨ x > 5 )

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!