419
правок
Изменения
Нет описания правки
[[Матлогика | На главную<<]][[Лекция 3 | >>]]
==Язык исчисления высказываний==
, а правила вывода - все правила, порожденные согласованной заменой букв в <tex>\langle{}\phi, (\phi) \rightarrow (\psi), \psi\rangle</tex>.
}}
[[Категория: Математическая логика]]
