Аргументы обозначаются строчными буквами
== Виды предикатов: ==
* тождественно-истинный;* тождественно-ложный;* выполнимый.
Предикат называют '''тождественно-истинным (тавтологией)''', если на любом наборе аргументов он принимает значение '''1'''.
Так как предикаты принимают только два значения, то к ним применимы все логические операции булевой алгебры.
* [[Логическая функция]] является предикатом.* [[Логический закон]] является тождественно истинным предикатом.
== Виды операций: ==
* логические операции;* кванторные операции.
=== Логические операции: ===
* отрицание;
'''Импликацией''' предикатов '''A(x)''' и '''B(x)''' называется новый предикат '''C(x)''', который является '''ложным''' при тех и только тех значениях '''х''' из заданного множества, при которых '''A(x)''' принимает значение '''истина''', а '''B(x)''' — значение '''ложь''', и принимает значение '''истина''' во всех остальных случаях.
=== Кванторные операции: ===
* квантор общности;* квантор существования.
'''Квантором общности''' называется операция, по которой предикату '''A(x)''' ставится в соответствие высказывание, обозначаемое [[файл:ЛП01.JPG]], которое '''истинно''' тогда и только тогда, когда предикат '''A(x)''' тождественно '''истинен'''.
[[файл:ЛП13.JPG]]
== [[Логические понятия|Другие понятия: ]] =={{Список ЛПЛПон}}
== Ссылки ==
* [[Участник:Logic-samara]] [[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]]