类别 全部 - операции - формулы - логика

作者：Даша Д 2 年以前

227

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

Логика является важной частью математики и философии, изучающей законы и методы правильного мышления и рассуждения. Важным аспектом логики являются методы доказательства, такие как дедуктивные, индуктивные, доведение до абсурда и от противного.

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

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

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

удаление логических связок
введение логических связок
ДИЛЕММЫ
триллема
деструктивные
конструктивные
МОДУСЫ
разделительно-категорические
условно-категорические

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

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

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

Совершенная н.ф.
Конъюнктивная н.ф.
Дизъюнктивная н.ф.
Совершенный одночлен
Дизъюнктивный одночлен
Конъюнктивный одночлен

Операции

Стрелка Пирса
Штрих Шеффера
Антиэквивалетность
Эквивалентность
Импликация
Дизъюнкция
Конъюнкция

Формула

противоречивые
опровержимые
тождественные
выполнимые

Mindomo

關於
說明
聯絡我們
定价
公共思维导图图库
思维导图模板

更多資料

部落格
使用條款
隱私權條款
Security
Accessibility
Security Policy

常見問題FAQ

甚麼是思維導圖？
在线创建思维导图
思維圖示例
什么是概念图？
概念图制作者