Презентация на тему Алгебра высказываний

импликация.
Логическая операция эквиваленция.
Конец.

об общих операциях, аналогичных сложению и умножению, которые могут

интересует только один факт – истинно или ложно данное

А = {Аристотель – основоположник логики}
В =

союзов, которые в алгебре высказываний заменяются на логические операции.

содержание

дальше

союзу и

В алгебре высказываний обозначается

в соответствие каждым двум простым высказываниям составное высказывание, являющееся

= {10 делится на 2 и 5 не больше

А = 1 ∧ 0 = 0
В = 0 ∧ 1 = 0
С = 1 ∧ 1 = 1
D = 0 ∧ 0 = 0

союзу или.

В алгебре высказываний обозначается

операция, ставящая в соответствие каждым двум простым высказываниям составное

Даны высказывания. Определите истинность каждого из них.
А = {10

A = 1 ∨ 0 = 1
B = 0 ∨ 1 = 1
C = 1 ∨ 1 = 1
D = 0 ∨ 0 = 0

алгебре высказываний обозначается

каждому простому истинному высказыванию ставит в соответствие ложное высказывание.

{Луна – не спутник Земли}

языке соответствует обороту если …, то … .

В алгебре

операция, ставящая в соответствие каждым двум простым высказываниям составное

{Данный четырехугольник - квадрат}
В = {Около данного четырехугольника можно

Рассмотрим составное высказывание А → В , понимаемое как «если данный четырехугольник – квадрат, то около него можно описать окружность».


Есть три варианта, когда
высказывание А → В истинно

данный четырехугольник – квадрат, то около него можно описать

А истинно и В истинно, т. е. если данный четырехугольник – квадрат, то около него можно описать окружность;
А ложно и В истинно, т. е. если данный четырехугольник не является квадратом, то около него можно описать окружность;
А ложно и В ложно, т. е. если данный четырехугольник не является квадратом, то около него нельзя описать окружность;

Ложен только один вариант: А истинно и В ложно, т. е. если данный четырехугольник – квадрат, то около него нельзя описать окружность.

причинно-следственную связь между высказываниями. Но в логических операциях смысл

оборотам речи тогда и только тогда; в том и

операция, ставящая в соответствие каждым двум простым высказываниям составное

{24 делится на 6 тогда и только тогда, когда