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