Mathematical Logics with Truth

Приложение «Математическая логика» включает в себя следующие темы:

> Отрицание - для определения утверждения как истинного, ложного или открытого. Перечислить отрицание утверждения в символической и в форме предложения. Перечислить значения истинности для данного утверждения и его отрицания.

> Соединение -Для определения логического соединителя, составного оператора и соединения. Чтобы перечислить соединение в символической и в форме предложения. Чтобы построить таблицу истинности для соединения.

> Дизъюнкция -для определения дизъюнкции. Перечислить дизъюнкцию в символической форме и в форме предложения. Чтобы построить таблицу истинности для дизъюнкции.

> Условные высказывания - для выявления гипотезы и заключения условного. Перечислить условное в символическом и в форме предложения. Чтобы перечислить истинное значение условного, приведено значение каждой части.

> Biconditional Statements - Для перечисления двухусловных в символической и в форме предложения. Определить гипотезу и заключение. Оценить предложение, чтобы определить, является ли оно двухусловным.

Тавтологии Для идентификации отдельных частей составного утверждения. Построить таблицу истинности для составного утверждения, чтобы определить, тавтология это или нет.

> Противоречие

> Непредвиденные обстоятельства

> Таблица истинности с 3 переменными

> Диаграмма Венна