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

Più simili a questo

Sample Mind Map

da Даша Кузнецова

CS concepts

da Lidia Kobtseva

ЭВМ 3-его поколения

da Габедава Звиад

задание 1

da Радовец Алла

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

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

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

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

ДИЛЕММЫ

триллема

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

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

МОДУСЫ

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

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

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

контрпример

индуктивное

дедуктивные

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

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

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

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

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

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

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

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

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

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

Операции

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

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

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

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

Импликация

Дизъюнкция

Конъюнкция

Формула

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

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

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

выполнимые