Категория : Исчисление высказываний
Викискладе есть медиафайлы, связанные с логикой высказываний .
Логика высказываний (также называемая логикой предложений ) относится к форме логики, в которой формулы, известные как «предложения», могут быть сформированы путем объединения других более простых предложений с использованием логических связок, а система формальных правил доказательства позволяет устанавливать определенные формулы как теоремы.
Подкатегории
Эта категория имеет следующие 8 подкатегорий из 8.
л
- Логические связки ( 22 П)
Н
- Нормальные формы (логика) ( 13 П)
П
- Пропозициональные ошибки ( 2 П)
Р
- Правила вывода ( 43 С)
Т
- Теоремы логики высказываний ( 39 P)
Страницы в категории «Исчисление высказываний»
Следующие 34 страницы относятся к этой категории из 34. Этот список может не отражать недавние изменения .