Логика: Разлика между версии
Изтрито е съдържание Добавено е съдържание
м Bot: Migrating 110 interwiki links, now provided by Wikidata on d:q8078 (translate me) |
|||
Ред 44:
¬[F(''а''<sub>1</sub>) ∨ F(''а''<sub>2</sub>) ∨ F(''а''<sub>3</sub>) ∨ … ∨ F(''а''<sub>n</sub>)] ⇔ ¬F(''а''<sub>1</sub>) ∧ ¬F(''а''<sub>2</sub>) ∧ ¬F(''а''<sub>3</sub>) ∧ … ∧ ¬F(''а''<sub>n</sub>).
Разбира се, същите зависимости са налице и при дефинирането на квантора за съществуване с помощта на квантора за всеобщност и отрицанието и съответно — на дизюнкцията с помощта на коннюнкцията и отрицанието, както и,
∃''x''F(''x'') ⇔ ¬∀''x''¬F(''x'')
|