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

что оно или истинно, или ложно.

это геометрическая фигура. - Истинное высказывание

Число 6 не делится

рассматривать как отдельное высказывание

Высказывание, которое можно разложить на части

= Москва– столица России.
С = Все растения ядовиты.

является спутником Земли.» → А = 1 В = «Москва

функции также может принимать значения только 0 или 1.

логических связок:
"и",
"или",
"не",
«если …, то…»,
«…тогда

Например

помощью (составные) высказывания

высказываний в одно при помощи союза «и» называется
операцией

В алгебре логики конъюнкция обозначается значком «&» либо «Λ»

) истинно тогда и только тогда, когда
истинны оба

Таблица истинности для А & В

(или нескольких) высказываний в одно при помощи союза «или»

В алгебре логики дизъюнкция обозначается значком «V» либо «+»

) истинно тогда и только тогда, когда истинно хотя

Союз «или» употребляется в неисключающих друг друга случаях.

Таблица истинности для А V В

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

Рассмотренные выше операции были двуместные, т.е. выполнялись над двумя высказываниями. В алгебре логики широко применяется и одноместная операция – операция отрицание.

ложным и , наоборот, ложное - истинным
Например
Таблица истинности для

помощью оборота речи «если …, то …» называется
операцией

В алгебре логики импликация обозначается значком « → »

) ложно тогда и только тогда,
когда А –

Таблица истинности для А → В

помощью оборота речи
«…тогда и только тогда, когда …»

В алгебре логики эквивалентность обозначается значком « ↔ »

истинно тогда и только тогда, когда оба высказывания одновременно

Таблица истинности для А ↔ В

выражения:

Для этого простые логические высказывания обозначим как логические переменные

логических операций по убыванию старшинства
Теперь мы можем определить значение

учетом скобок в следующем порядке:


 1. инверсия;
2. конъюнкция;
 3. дизъюнкция;
 4.

соблюдать:

1. определить кол-во строк таблицы – 2n , где

соблюдать:

3. построить таблицу истинности с найденным кол-вом строк и

строк
Q= 23 = 8 +1 =9 (заголовки столбцов).

Вернёмся к нашему примеру:

Подробное решение

(1 \/ 1) \/ (1 \/ 0)
3)F= (0 Λ

Найдём значения логических выражений:

0

1

1

1

1

1

0

1

1

Ответ: 1

Ответ: 1

Ответ: 0

Ответ: 1

высказывание ((X > 3) → (X > 4))
Решение:
В

1) 1 2)2 3) 3 4) 4