Изменения

Набор аргументов определяется на произвольных множествах.

Аргументы обозначаются строчными буквами

== Виды предикатов: ==

* тождественно-истинный;

* [[Логическая функция]] является предикатом.

* [[Логический закон]] является тождественно истинным предикатом.

== Виды операций: ==

* логические операции;

'''Импликацией''' предикатов '''A(x)''' и '''B(x)''' называется новый предикат '''C(x)''', который является '''ложным''' при тех и только тех значениях '''х''' из заданного множества, при которых '''A(x)''' принимает значение '''истина''', а '''B(x)''' — значение '''ложь''', и принимает значение '''истина''' во всех остальных случаях.

=== Кванторные операции: ===

* квантор общности;

Высказывание [[файл:ЛП02.JPG]] читается: «Существует такое '''х''' (хотя бы одно), что справедливо '''A(x)'''».

== Формы предикатов: ==

*приведённая нормальная форма;

*предварённая нормальная форма.

=== Приведённая нормальная форма ===

[[файл:ПНФ01.JPG]]

=== Предварённая нормальная форма ===

[[файл:ПНФ02.JPG]]

== Свойства предикатов ==

Если предикат '''A(x)''' определён на множестве, состоящем из конечного числа элементов '''x₁, x₂, …, x_n''', то '''квантор общности''' можно трактовать как '''конъюнкцию''' всех возможных из него высказываний, а '''квантор существования''' – как '''дизъюнкцию''' этих высказываний.

[[файл:ЛП13.JPG]]

== Другие понятия: ==

* [[логическая функция]];

* [[карта Карно]];

* [[трёхмерная карта Карно]].

== Ссылки ==

* [[Участник:Logic-samara]]

[[Категория:Дискретная математика]][[Категория:Логика]]