Матрица сильной дизъюнкции

p	q	p или q
и	и	л
и	и	и
и	л	и
л	и	и
л	л	л

К условиям истинности многочленной слабой дизъюнкции является истинность хотя бы одного из исходных суждении. Что не исключает истинности всех её членов. Сильная же дизъюнкция истинна тогда когда, истинно только одно исходное суждение, а все другие ложны.

13 октября 2010 года. (6 лекция)

3) импликация. Логический союз, объединяющий два исходных суждения таким образом, что истинность первого исключает ложность второго, иначе все сложное суждение окажется ложным. P --- Q (если P то Q).

Матрица импликации

p	q	p ---- q
и	и	и
и	л	л
л	и	и
л	л	и

Первая часть импликации – антецедент, вторая – консеквент. Положение этих суждении относительно друг друга носит строго фиксированный характер. В случае перемены их положения истинная импликация может превратиться в ложную.
Н: если число делится на 10, то оно делится и на 5 – истинно, но суждение, если число делится на 5, то оно делится и на 10 – ложно.

4) эквиваленция. Логическое «если и только если, то». Если число делится на 2, то оно чётное. Если сегодня среда, значит завтра четверг. Приведённые примеры обладают одной знаменательной особенностью: число является чётным, только тогда, когда оно делится на 2.