/Studia/Podstawy matematyki/Logika

Zadanie nr 9584498

Podać zbiory X ,Y oraz formuły p(x ,y) i q(x,y) tak aby zdanie

∀x∈X ∀y∈Y (p (x,y)∨ q(x,y))

było prawdziwe/fałszywe.

Wersja PDF

Rozwiązanie

Pierwsze zdanie jest prawdziwe drugie fałszywe:

∀ ∀ (x ≥ y ∨ x < y) x∈R y∈R ∀x ∈R ∀y∈R (x > y∨ y < x).

Drugie zdanie jest fałszywe, bo można wziąć x = y .

Wersja PDF