Презентация, доклад Элементы математической логики 1 урок

древнегреческого logos, означающего "слово, мысль, понятие, рассуждение, закон". 
Формальная логика - наука о формах и законах мышления.
Логика как наука позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны. Основными формами мышления являются понятия, суждения  и умозаключения

класса предметов, отличающие его от других. Например, компьютер, человек, ученик, число, доклад.

между предметом и его признаком, отношения между предметами или факт существования предмета и которая может быть либо истинной, либо ложной. Языковой формой выражения суждения является повествовательное предложение.

получить новое суждение (знание или вывод).      Примерами умозаключений являются доказательства теорем в геометрии. Посылками умозаключения по правилам формальной логики могут быть только истинные суждения. Тогда и умозаключение будет истинным. Иначе можно прийти к ложному умозаключению

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

ложно, называется высказыванием.
Высказывания, сформированные в некоторой предметной области, называется первичным высказыванием или атомом.

“Завтра принести тетради.”
F: “Сумма углов треугольника 180 градусов.”
H: “Только на Земле есть жизнь.”

№24 квартир?
Последний герой.
Модуль вектора АВ - это длина отрезка АВ

ложь

ложность высказывания записывается в виде α(А)= И, или α(В)=False или α(В)=0 или α(А)= 1

(читается: «Не Р» или «Неверно, что Р») которое считается истинным, если высказывание Р ложно, и ложным, если Р истинно.

Q (читается «Р и Q»), которое считается истинным, если истинны оба высказывания Р и Q, и ложным во всех остальных случаях.

Q (читается «Р или Q»), которое истинно в тех случаях, если истинно хотя бы одно из высказываний Р или Q, и ложно, если ложны оба высказывания Р и Q.

Q (читается: «Если Р, то Q», или «Из Р
следует Q», или «Р влечет за собой Q»), которое ложно лишь в том случае, если Р истинно, a Q ложно.

высказывание, обозначаемое P Q (читается «Р эквивалентно Q», или «Р тогда и только тогда, когда Q»), которое истинно в том и только в том случае, если Р и Q у одновременно истинны или одновременно ложны.

когда истинностные значения A и B не совпадают, и ложное — в противном случае. Обозначается: A ⊕ B . Читается: «либо A, либо B » (понимается — в разделительном смысле).

0 = 0,
0 1 = 0,
0 0 = 0.

1 1 = 1,
1 0 = 1,
0 1 = 0,
0 0 = 1.