Алгебра высказываний

Plus de détails

Тригонометрические функции для визуалов со слабыми когнетивными способностями

par Ксения Лоскутова

Методика преподавания математики

par Елизавета Кочкина

История информационных технологий

par Харитонова Лиза

Обобщенная компетенция: Проведение казначейством банка операций на денежном рынке

par Алексей Тарасов

Алгебра высказываний

Правила логических умозаключений

удаление логических связок

введение логических связок

ДИЛЕММЫ

триллема

деструктивные

конструктивные

МОДУСЫ

разделительно-категорические

условно-категорические

Методы доказательства

контрпример

индуктивное

дедуктивные

цепное умозаключение

доведение до абсурда

от противного

Нормальные формы

Совершенная н.ф.

Конъюнктивная н.ф.

Дизъюнктивная н.ф.

Совершенный одночлен

Дизъюнктивный одночлен

Конъюнктивный одночлен

Операции

Стрелка Пирса

Штрих Шеффера

Антиэквивалетность

Эквивалентность

Импликация

Дизъюнкция

Конъюнкция

Формула

противоречивые

опровержимые

тождественные

выполнимые