Логика
Логика – это наука о формах и способах мышления.
Высказывание – это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними. Высказывание может быть либо истинно, либо ложно.
Высказывания обозначаются именами логических переменных (А, В и т.д.), которые могут принимать лишь два значения: истина (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.
В таблице приведены запросы и количество найденных по ним страниц сегмента сети Интернет.
| Запрос | Найдено страниц |
| Слон V Тигр | 30000 |
| Слон & Тигр | 16000 |
| Слон | 24000 |
Сколько будет найдено страниц по запросу Тигр?
Только тигр (без слона) = 30000 - 24000 = 6000
Тигр = 6000 + 16000 = 22000
Ответ. 22000 страниц.
