Стрелка Пирса (↓), штрих Шеффера ( / ), сложение по модулю
А |
В |
А↓В |
А/В |
А |
t |
t |
f |
f |
f |
t |
f |
f |
t |
t |
f |
t |
f |
t |
t |
f |
f |
t |
t |
f |
В
Операция
сложения по модулю
определяется
так:
для любого А из {0,1}: А А = ∅, А ∅ = ∅ А = А
A |
B |
|
A∧B |
A∨B |
A→B |
A↔B |
A↓B |
A/B |
A⊕B |
ВЫСКАЗЫ- ВАНИЕ |
ВЫСКАЗЫ-ВАНИЕ |
НЕ А |
КОНЪЮНКЦИЯ (∙) |
ДИЗЪЮНКЦИЯ (+) |
ИМПЛИКАЦИЯ (⊃, ⇒) |
ЭКВИВА-ЛЕНЦИЯ ( ~, ≡, ⇔) |
СТРЕЛКА ПИРСА |
ШТРИХ ШЕФФЕРА |
СЛОЖЕНИЕ ПО МОДУЛЮ (∆) |
t |
t |
f |
t |
t |
t |
t |
f |
f |
f |
t |
f |
f |
f |
t |
f |
f |
f |
t |
t |
f |
t |
t |
f |
t |
t |
f |
f |
t |
t |
f |
f |
t |
f |
f |
t |
t |
t |
t |
f |
Контрольные вопросы:
Что такое высказывание?
Что не является высказыванием?
Что такое высказывательная форма?
Что такое логическая связка?
Что такое составное высказывание?
Что такое элементарное высказывание?
Перечислите все логические операции.
Дайте определение логической операции – «отрицание», как обозначается.
Таблица истиности для отрицания.
Дайте определение логической операции – «конъюнкция», как обозначается.
Таблица истиности для конъюнкции.
Дайте определение логической операции – «дизъюнкция», как обозначается.
Таблица истиности для дизъюнкции.
Дайте определение логической операции – «импликации», все обозначения.
Таблица истиности для импликации.
Дайте определение логической операции – «эквиваленции», все обозначения.
Таблица истиности для эквиваленции.
Таблица истиности для стрелки Пирса.
Таблица истиности для штриха Шеффера.
Таблица истиности для сложения по модулю + (все обозначения).