logika
Zozol: Napisać zaprzeczenia następujących zdań, a następnie ocenić wartość logiczną zdań oraz ich
zaprzeczeń
a) ∃x∊ℛ ∀y∊ℛ x2−y2≤0
b) ∀x∊ℛ ∃y∊ℛ ∀n∊ℕ* xy<−1/n
c) ∃x∊ℛ ∀y∊ℛ ∀n∊ℕ*
8 paź 23:55
ite:
a) ∃(x∊ℛ) ∀(y∊ℛ) (x2−y2≤0)
przekształcam nierówność y2≥x2,
Liczbą, której kwadrat jest mniejszy lub równy kwadratowi każdej liczby rzeczywistej, jest
0, więc zdanie jest prawdziwe.
zdanie prawdziwe
¬(∃(x∊ℛ) ∀(y∊ℛ) (x2−y2≤0)) ⇔∀(x∊ℛ) ∃(y∊ℛ) (x2−y2>0)
zdanie fałszywe
9 paź 15:47