Презентация на тему Основы логики

выражения и таблицы истинности

мышления
Основные формы мышления
понятие
высказывание
умозаключение
Это форма мышления, фиксирующая основные, существенные признаки

Это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними.

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

в соответствие логические переменные. Истинному высказыванию соответствует значение логической

А=«Два умножить на два равно четырем» (А=1);
В=«Два умножить на два равно пяти»(В=0).

одно с помощью союза «и» называется операцией логического умножения

«2*2=5 и 3*3=10»
«2*2=5 и 3*3=9»
«2*2=4 и 3*3=10»
«2*2=4 и 3*3=9»

F=A&B

помощью союза «или» называется операцией логического сложения или дизъюнкцией
«2*2=5

F=AVB

называется операцией отрицания или инверсией
F=А
_
«2*2≠4»
«2*2=4»

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

(2*2=5 или 2*2=4) и (2*2≠5 или 2*2≠4)
А = «2*2=5» - ложно (0)
В = «2*2=4» - истинно (1)

F=(A V B)&( A V B)

_

_

функции:
F=(A V B)&( A V B)
_
_