Пропозиционна логика

от Уикипедия, свободната енциклопедия
Направо към навигацията Направо към търсенето

Пропозиционна логика или логика на изказването, изреченска логика (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

В рамките на ИИ това е изчисление на изказването.

Вижте също[редактиране | редактиране на кода]

Източници[редактиране | редактиране на кода]

  1. „Comprehensive List of Logic Symbols“. Math Vault. 6 April 2020.