Mis on Diskreetne Matemaatika
On antud reaalarvulise määramispiirkonnaga predikaadid:
N (x) ≡ " x on naturaalarv " P (x , y) ≡ (x > 0) ∧ (y < 0)
Z (x) ≡ " x on täisarv " vastus: (x > 0) ∧ ( y < 0)
P (x) ≡ " x on algarv "
H (x) ≡ " x on paarisarv "
D (x , y) ≡ " x jagub y-ga "
Leida predikaatlausete tõeväärtus:
∀ x [ N (x ) → Z (x ) ]
__
∀x
∀ [ Z (x ) → H ( x ) ∨ H ( x ) ]
∀ x ∃ y [ Z (x ) ∧ Z (y ) → D ( x , y ) ]
∃ x [ P (x ) ∧ H (x ) ]
LOOGIKASEADUSED De Morgani seadused:
annaabi.ee 
