|definition=
Исчисление высказываний - формальная система, использующая в качестве языка язык исчисления высказываний, в качестве аксиом - следующие схемы выражений:
*#<tex>(\phi) \rightarrow ((\psi) \rightarrow (\phi))</tex>*#<tex>((\phi) \rightarrow (\psi)) \rightarrow ((\phi) \rightarrow (\psi) \rightarrow (\pi)) \rightarrow ((\phi) \rightarrow (\pi))</tex>*#<tex>(\phi) \rightarrow (\psi) \rightarrow (\phi) \& (\psi)</tex>*#<tex>(\phi) \& (\psi) \rightarrow (\phi)</tex>*#<tex>(\phi) \& (\psi) \rightarrow (\psi)</tex>*#<tex>(\phi) \rightarrow (\phi) \vee (\psi)</tex>*#<tex>(\psi) \rightarrow (\phi) \vee (\psi)</tex>*#<tex>((\phi) \rightarrow (\pi)) \rightarrow ((\psi) \rightarrow (\pi)) \rightarrow ((\phi) \vee (\psi) \rightarrow (\pi))</tex>*#<tex>((\phi) \rightarrow (\psi)) \rightarrow ((\phi) \rightarrow \neg (\psi)) \rightarrow \neg (\phi)</tex>*#<tex>\neg \neg (\phi) \rightarrow (\phi)</tex>
, а правила вывода - все правила, порожденные согласованной заменой букв в <tex>\langle{}\phi, (\phi) \rightarrow (\psi), \psi\rangle</tex>.
}}
[[Категория: Математическая логика]]
