Стартовая страница
Тематическая группировка Расширить глоссарий Первый глоссарий Предыдущий глоссарий Основные темы Следующий глоссарий Последний глоссарий
 Глоссарий

Исчисление высказываний

Оглавление 

Входы 

Высказывания >

Логика >

Логические операции >

Формальная логика >


 

§ Научная деятельность

Исчисление высказываний

Исчисление высказываний - область математической логики.
 
Новая функция:  Формула глоссария
 

 Выходы


 

Исчисление высказываний

Исчисление высказываний - область математической логики.

Булева алгебра

Boolean algebra

От Дж.Буль - английский математик 1815-1864

Булева алгебра - раздел математической логики, изучающий высказывания и операции над ними. Наиболее известными операциями булевой алгебры являются: конъюнкция, дизъюнкция, импликация, эквивалентность, отрицание.

Высказывание

Высказывание - в логике - предложение, которое может быть истинно или ложно.

Дизъюнкция высказываний

Дизъюнкция высказываний - новое высказывание:
- сконструированное их двух и более исходных высказываний;
- истинное в тех случаях, когда истинно хотя бы одно из исходных высказываний.

Импликация высказываний

Импликация высказываний - новое высказывание:
- сконструированное их двух исходных высказываний: посылки и следствия;
- ложное только в тех случаях, посылка истинна, а следствие ложно.

Конъюнкция высказываний

Конъюнкция высказываний - новое высказывание:
- сконструированное их двух и более исходных высказываний;
- истинное в тех случаях, когда истинны все исходные высказывания.

Формальная логика

Formal logic

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

  Первый  <<  Предыдущий

 Оглавление глоссария No.2281

Следующий  >>  Последний 

Исчисление высказываний / Булева алгебра / Высказывание / Дизъюнкция высказываний / Импликация высказываний / Конъюнкция высказываний / Формальная логика


Библиография  |  webadmin@glossary.ru
Copyright © 2000-2020 «Web-and-Press»

  

Курильский бобтейл;
Служебная библиотека
СИАРЕС

Деловой двор
Бухгалтерский учет для


  


Rambler's Top100
Rambler's Top100