Logikai műveletek predikátumok - studopediya
A predikátum P (x): "x - páros szám" és Q (X): «x többszöröse 3» összefüggésben P (x) LQ (x)
Definíció. Diszjunkcióját két predikátum P (x) és Q (X) nevezzük egy új predikátum P (x) V Q (X), amelynek az értéke a "hamis" azokon, és csak azokat az értékeket X-Niyah Î M, amelyben minden állítmány értékeli, hogy a „hamis”, és vesz egy érték „igaz” minden más esetben.
Domain érvényességi predikátum P (x) V Q (x) az Unió a domének igazság predikátum P (x) és Q (X), azaz. IPVQ = Ip È IQ.
Példa: A predikátum P (x) és Q (x) a tényleges oltalmi körét az elválasztásnál az unió saját területén az igazság:
Definíció. Tagadás állítmány P (x) nevezzük-ikon jelzi az új predikátum, az értéke beállított „true” minden x értékei Î M amelyben P (x) egy predikátum értékeli a „hamis”, és veszi az értéket „false” számára x értékei Î M értéket veszi fel "igaz". Koto-ryh predikátum P (x)
Ebből a meghatározásból következik, hogy a grafikon:
Példa: alkotják a predikátum. „X - páratlan szám, az” ő az igazság tartomány:
Mivel minden egyes rögzített x Î M Spra-egyenértékűség érvényesek
Ábra: terület felel meg a valóságnak az árnyékos rész:
Tekintsük néhány példát találni területek az állítmány igaz.
1. A beállított M = predikátumokkal megadva:
A (x) „nem osztható NA5 x "(x)" prímszám x "(x)." Multiply x 3» Keressen egy csomó igazság állítmány:
Mi található a mezőérvényesség állítmány (x) B (x), és - „x nem többszöröse 3„:
Az állítmány cserélje vonzata.
Predikátum megfelel a meghatározott képlet algebra:
2.Izobrazit Euler diagram - Venn régió igazság állítmány: a)
Először is végre konverziót, figyelembe véve a állítmány, mint mondta:
Állítmány felel igazság tartomány által meghatározott képlet algebra készletek:
Diagram a következő:

FIELD igazság állítmányt színes szürke.
Állítmány felel igazság tartomány által meghatározott képlet algebra készletek:


FIELD igazság állítmány színű.
3. Record állítmány kapott logikai műveleteket predikátumok P (x), Q (X), az R (x), az igazság terület árnyékos, amely: