Логика: Разлика между версии
Изтрито е съдържание Добавено е съдържание
Ред 16:
== Логически оператори ==
Пропозиционалната логика и предикатната логика не са независими помежду си. Втората предполага първата и я включва в себе си като свой дял. В този смисъл пропозиционалната логика е най-простата и базисна логическа дисциплина. Нещо повече, дори самите предикатно-логическите оператори, т.нар. квантори („∀''x''“, „∃''x''“) се дефинират с помощта на пропозиционално-логически оператори, т.нар. конектори или юнктори („¬“, „∧“, „∨“). Така кванторът за всеобщност („∀''x''“) се въвежда като „обобщена“ [[конюнкция]] („и“), а кванторът за съществуване („∃''x''“) – като „обобщена“ [[дизюнкция]] („или“):
∀''x''F(''x'') ⇔ F(''а''<sub>1</sub>) ∧ F(''а''<sub>2</sub>) ∧ F(''а''<sub>3</sub>) ∧ … ∧ F(''а''<sub>n</sub>)
| |||