Пропозиционна логика
Направо към навигацията
Направо към търсенето
Пропозиционна логика или логика на изказването, изреченска логика (sentential calculus, sentential logic) се занимава с пропозициите и отношенията между пропозициите, включително коструирането на аргументация базирана на тях.
Пропозициите могат да бъдат два вида (най-общо) – верни и неверни (true or false). Сложните пропозиции се формират чрез свързане на пропозициите чрез логически връзки (съдържащи един, два и повече елементи).
| Английска дума | Логическо свързване (Connective) | Символ[1] | В логиката |
|---|---|---|---|
| not | Отрицание (negation) | ¬ |
NOT |
| and | конюнкция (conjunction) | ∧ |
AND |
| or | дезюнкция (disjunction) | ∨ |
OR |
| if...then | импликация | → |
IMPLY |
| ...if | обратно утвърждение | ← |
|
| not both | еквивалентно на операцията И-НЕ | ↑ |
NAND |
| if and only if | двукондиционал | ↔ |
XNOR |
| neither...nor | логически NOR (neither) | ↓ |
NOR |
В рамките на ИИ това е изчисление на изказването.
Вижте също[редактиране | редактиране на кода]
Източници[редактиране | редактиране на кода]
- ↑ „Comprehensive List of Logic Symbols“. Math Vault. 6 April 2020.
Тази статия, свързана с логика, все още е мъниче. Помогнете на Уикипедия, като я редактирате и разширите.