13. Predicarea și ariile
În plus față de declarații, se iau în considerare și declarații cu variabile; litere, în loc de care puteți înlocui anumite valori (de exemplu, numere). Dacă în locul tuturor variabilelor le înlocuiesc valorile, atunci instrucțiunea cu variabile se va transforma în declarația obișnuită.
De exemplu, luați în considerare o declarație cu o variabilă.
- o adevărată zicală,
- o declarație falsă.
Acele seturi de valori ale variabilelor la care se obține adevărata instrucțiune din domeniul adevărului al instrucțiunii cu variabile.
Definiția. Un predicat este o declarație cu variabile.
Un exemplu. Domeniul adevărului predicatului este;
predicat -;
predicat - în Fig. 1:
Domeniul adevărului predicatului, unde
- variabilele libere, - variabila obligatorie, este reprezentată în fig. 2:
Domeniul de adevăr al predicatului este prezentat în Fig. 3 (axele de coordonate nu sunt incluse):
Domeniul de adevăr al predicatului este prezentat în Fig. 4:
Dacă aceleași variabile sunt incluse în predicate, atunci domeniul adevărului predicatului este o intersecție, iar domeniul adevărului al predicatului este unirea domeniilor adevărului acestor predicate.
1. Printre următoarele propoziții, selectați predicatele și pentru fiecare dintre ele specificați zona de adevăr:
2) dacă este îndeplinită egalitatea;
4) Există un număr astfel încât;
6) numărul unic este un multiplu de 3;
2. Lăsați predicatele să fie date :: - un număr par u: multiplu, definit pe setul de numere naturale. Găsiți domenii ale adevărului predicatelor
definită pe setul de numere reale. Determinați care dintre următoarele afirmații sunt adevărate și care sunt false:
4. Lăsați predicatul. Arătați aceste declarații
au valori logice diferite.
Fie ca două predicate să fie date și. Un predicat este o consecință a unui predicat () dacă domeniul adevărului este conținut în domeniul adevărului. Predicatele sunt echivalente dacă domeniile lor de adevăr coincid.
1. Următoarele predicate vor fi echivalente sau una dintre acestea este o consecință a celuilalt?
2. Desenați un spațiu adevărat predicat în avion:
3. Predicatele sunt date pe set
Trimiteți-le prietenilor: