Логика

Логика – это наука о формах и способах мышления.
Высказывание – это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов  и отношениях между ними. Высказывание может быть либо истинно, либо ложно.
Высказывания обозначаются именами логических переменных (А, В и т.д.), которые могут принимать лишь два значения: истина (1) и ложь (0).

Пример 1.

Составьте таблицу истинности логического выражения F.

 F = (A ^ ((¬B --> A) v B)

Пример 2.

Для Х=4 определить истинность высказывания?
(X * (X - 8) > -25 + 2 * X) --> (X >7)

(4 * (4 – 8) > -25 + 2 * 4) --> (4 >7)
(-16 > -17) --> (4 > 7)
1 --> 0 = 0 (Ложно)

Ответ: Ложно.

Пример 3.

В таблице приведены запросы и количество найденных по ним страниц сегмента сети Интернет.

Сколько будет найдено страниц по запросу Тигр?

Только тигр (без слона) = 30000 - 24000 = 6000

Тигр = 6000 + 16000 = 22000

Ответ. 22000 страниц.