Правила

1. Нажмите кнопку «Приступить».
2. На экране список высказываний. Они обозначены буквами. Справа таблица с формулами знаний.
Внизу белое поле, где собирается составное высказывание. Над ним логические связки.
3. С помощью первой формулы соберите составное высказывание. Для этого нажимайте на буквы из списка и на связки.
4. В соответствии с формулой выберите логические связки и расположите на поле все части составного высказывания. Самостоятельно расставьте знаки препинания.
5. Определите, истинно или ложно полученное высказывание. Запишите в таблицу соответственно 1 или 0.
6. Перед переходом к следующей формуле очистите поле для построения связок, нажав на кнопку 'Очистить'.
5. Нажмите на кнопку «Посмотреть результат».

Приступить

a
функция на всех наборах значений переменных принимает значение ИСТИНА
b
функция на всех наборах значений переменных принимает значение ЛОЖЬ
c
импликацией высказываний a и b называют высказывание a->b
d
a - истина
e
b - ложь
f
высказывание ложно
g
высказывание истинно
h
дизъюнкцией высказываний a и b и называют высказывание a V b
i
конъюнкцией высказываний a и b и называют высказывание a ∧ b
k
эквиваленцией высказываний a и b и называют высказывание a ↔ b
m
высказывание представляет собой одно утверждение
n
высказывание является простым(элементарным)
p
функция называется тождественно-ложной
q
функция называется тождественно-истинной
Формулы знаний Истинно (1) или ложно (0)
Пояснения

¬a НЕ а

a ∧ b a И b

a ∨ b a ИЛИ b

a → b ЕСЛИ a, ТО b

a ↔ b a ТОЛЬКО ТОГДА, КОГДА b
1. a→q
2. b→¬q
3. b→¬p
4. c∧f↔¬d∧e
5. h∧g↔e∧a
6. i∧g↔d∧¬e
7. k∧g↔d∧¬e∨¬d∧e
8. k∧f↔d∧e
9. m→n
10. n→q
ЕСЛИ,ТО,И, НЕ, ИЛИ, ТОЛЬКО ТОГДА, КОГДА


Посмотреть результат
Правила
Очистить