Диаграмма Венна — различия между версиями

Материал из ALL
Перейти к: навигация, поиск
м
м
Строка 12: Строка 12:
 
=== Для трёх событий ===
 
=== Для трёх событий ===
 
[[файл:ДВ03.JPG]]
 
[[файл:ДВ03.JPG]]
 +
=== Другие понятия: ===
 +
{{Список ЛП}}
 
== Ссылки ==
 
== Ссылки ==
 
* [[Участник:Logic-samara]]  
 
* [[Участник:Logic-samara]]  
 
[[Категория:Логика]]
 
[[Категория:Логика]]
 
[[Категория:Теория вероятностей]]
 
[[Категория:Теория вероятностей]]

Версия 10:01, 3 февраля 2018

Диаграмма Венна — это схема логических выражений из отрицаний и конъюнкций.

Содержание

Обозначения:

  • A, B, C — события;
  • ОТР01.JPG — отрицания событий;
  • КОНЪ01.JPG — конъюнкции событий;
  • U — универсальное событие, включающее все события.

Виды диаграмм:

Для одного события

ДВ01.JPG

Для двух событий

ДВ02.JPG

Для трёх событий

ДВ03.JPG

Другие понятия:

Логический закон

Логические функции:

отрицание

дизъюнкция

конъюнкция

разделительная дизъюнкция

импликация

обратная импликация

эквиваленция

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

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

полином Жегалкина

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

совершенная дизъюнктивная нормальная форма

совершенная конъюнктивная нормальная форма

минимальная дизъюнктивная нормальная форма

минимальная конъюнктивная нормальная форма

алгебраическая нормальная форма

Таблица истинности

Карта Карно

Трёхмерная карта Карно

Предикат

Секвенции

Суждение

Умозаключения:

превращение

обращение

противопоставление предикату

противопоставление субъекту

чисто условные умозаключения

силлогизм

условно-категорические умозаключения

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

эквивалентно-категорические умозаключения

Диаграммы:

диаграмма Венна

диаграмма Эйлера

Ссылки