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

Mere som dette

Информатика. 9 класс: учебник / Н.Д. Угринович

af кристина шувалова

Типы данных в C#

af Данил Александров

Федеральный закон 115-ФЗ "О противодействии легализации (отмыванию) доходов

af Мария Безбабнова

МАТЕМАТИЧЕСКАЯ ЛОГИКА.

af Диана Соловей

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

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

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

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

ДИЛЕММЫ

триллема

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

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

МОДУСЫ

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

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

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

контрпример

индуктивное

дедуктивные

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

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

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

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

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

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

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

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

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

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

Операции

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

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

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

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

Импликация

Дизъюнкция

Конъюнкция

Формула

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

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

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

выполнимые