Утверждения.

1. Если предикат Р(х1, х2, …, хn), заданный на множествах М1, М2, …, Мn является тождественно-истинным, то его множество истинности Р+=М1 ´ М2´ …´ Мn.

2. Если предикат Р(х1, х2, …, хn), заданный на множествах М1, М2, …, Мn является тождественно-ложным, то его множество истинности Р+=Æ.

3. Если предикат Р(х1, х2, …, хn), заданный на множествах М1, М2, …, Мn является выполнимым, то его множество истинности Р+¹Æ.

4. Если предикат Р(х1, х2, …, хn), заданный на множествах М1, М2, …, Мn является опровержимым, то его множество истинности Р+¹М1 ´ М2´ …´ Мn.

Определение.Два n-местных предикатаР(х1, х2, …, хn) и Q(х1, х2, …, хn), заданных над одними и теми же множествами М1, М2, …, Мn, называются равносильными, если набор элементов превращает первый предикат в истинное высказывание Р(а1, а2, …, аn) в том и только в том случае, когда этот набор превращает в истинное высказывание Q(а1, а2, …, аn) второй предикат.

Утверждение о равносильности двух предикатов P и Q символически будем записывать так: P Û Q.

Пример.

Необходимо решить уравнение (или, другими словами, найти множество истинности предиката): 4х – 2 = -3х – 9.

Решение.

Делая равносильные преобразования, найдем множество истинности предиката:

4х – 2 = -3х – 9 Û 4х + 3х = -9 + 2 Û х = -1.

Определение. Предикат Q(х1, х2, …, хn), заданный над множествами М1, М2, …, Мn, называется следствием предикатаР(х1, х2, …, хn), заданного над теми же множествами, если он превращается в истинное высказывание на всех наборах значений предметных переменных на соответствующих множествах, на которых в истинное высказывание превращается предикат Q(х1, х2, …, хn).

Другими словами (в терминах множеств истинности), можно сказать, что предикат Q является следствием предиката Р тогда и только тогда, когда Р+ Í Q+.

Теорема.Каждые два тождественно истинных (тождественно ложных)предиката, заданных на одних и тех же множествах, равносильны. Обратно, всякий предикат, равносильный тождественно истинному (тождественно ложному) предикату, сам является тождественно истинным (тождественно ложным) предикатом.

Теорема.Каждый тождественно истинный n-местный предикат является следствием любого другого n-местного предиката, определенного на тех же множествах. Каждый n-местный предикат является следствием любого тождественно ложного n-местного предиката, определенного на тех же множествах.


3151772651804646.html
3151849775471781.html
    PR.RU™