[[файл:ЛП13.JPG]]
* Заметим, что тождественно-истинный предикат - это [[логический закон]].
* Предикат определённый на множестве '''{0,1}''' - это [[логическая функция]].
== Ссылки ==
* [[Участник:Logic-samara]]
[[Категория:Дискретная математика]][[Категория:Логика]]