"liitpredikaatideks" - 1 õppematerjal

Mis on Diskreetne Matemaatika

∀ x P ( x) [vale] ∃x ∃ P ( x) [tõene] ∀x ,y P (x, y) ≡ ∀x∀ ∀y P (x, y) Sarnaselt muutujateta lausearvutuslausetega saab ka predikaate siduda liitpredikaatideks nendesamade loogikatehetega: ¯ ¯ ∧ ∨ → ↔ märkus: kui määramispiirkonnaks oleks reaalarvude asemel täisarvud , siis 2ne ja 3mas predikaatvalem lihtsustuksid: Predikaadid on võrdväärsed (ekvivalentsed) , kui nende __ tõeväärtuspiirkonnad langevad kokku