Конюнкция: Разлика между версии
Изтрито е съдържание Добавено е съдържание
Редакция без резюме |
Редакция без резюме |
||
Ред 25:
|Н
|}
където колонките под <math>p</math> и <math> q</math> показват във всеки ред съответното разпределение на техните стойности по истинност, а колонката под <math>p\and q</math> показва във всеки ред каква е стойността по истинност на <math>p\and q</math> за съответното разпределение на стойностите по истинност на <math>p</math> и <math> q</math>. За една двуместна конюнкция възможните комбинации на стойностите по истинност на <math>p</math> и <math> q</math> са четири. Затова и <math>p\and q</math> получава стойност по истинност в четири случая. Огледалната операция на конюнкцията <math>\and</math> е [[дизюнкция|дизюнкцията]] <math>\or</math>.
Заключенията, които се получават въз основа на значението на конюнкцията, се изследват в пропозиционалната логика. Конюнкцията е логическа константа в езика на пропозиционалната логика.
Пример за конюнкция е следното аритметичното твърдение ''„''<math>n</math> ''е четно и по-голямо от 5“'', във формален запис:▼
Пример за конюнктивно изречение е: "Слънцето е изгряло и небето е облачно" (изразено с конюнктора: "Слънцето е изгряло <math>\and</math> небето е облачно") с подизречения "Слънцето не е изгряло" и "небето е облачно".
▲Пример за конюнкция е и следното аритметичното твърдение ''„''<math>n</math> ''е четно и по-голямо от 5“'', във формален запис:
<math>\exists x (x\in \mathbb{Z} \and n=2.x)\and n >5</math>
| |||