Логіка тверджень, it`s my life
З будь-якого невірного твердження виводиться що завгодно, як правильне твердження, так і хибне ж.
Є така кумедна історія: Один філософ дізнавшись від Бертрана Рассела, що з помилкового твердження випливає будь-яке твердження запитав:
- Ви всерйоз вважаєте, що з твердження «два плюс два - п'ять» слід, що ви - папа римський?
Рассел відповів ствердно.
- І ви можете довести це? - продовжував сумніватися філософ.
- Звичайно! - пішов впевнену відповідь, і Рассел одразу ж запропонував такий доказ.
1) Припустимо, що 2 + 2 = 5.
2) Віднімемо з обох частин по два: 2 = 3.
3) Віднімемо з обох частин по одиниці: 1 = 2.
Папа Римський і я - нас двоє. Так як 2 = 1, то папа римський і я - одна особа. Отже, я - Папа Римський.
Стало цікаво знайшов статтю за логікою висловлювань.
Логіка висловлювань є теорією тих логічних зв'язків висловлювань, що не залежать від внутрішньої будови (структури) простих висловлювань.
Логіка висловлювань виходить з наступних двох припущень:
1. всяке висловлювання є або істинним або хибним (принцип двозначності);
2. истинностное значення складного висловлювання залежить тільки від істиннісних значень назв простих висловлювань і характеру їх зв'язку.
На основі цих припущень раніше були дані суворі визначення логічних зв'язок "і", "або", "якщо, то" і ін. Ці визначення формулювалися у вигляді таблиць істинності і називалися табличними визначеннями зв'язок. Відповідно, сама побудова логіки висловлювань, що спирається на дані визначення, називається табличним її побудовою.
Згідно з прийнятими визначеннями:
- кон'юнкція істинна, коли обидва входять до неї висловлювання правдиві
- диз'юнкція істинна, коли хоча б одне з вхідних в неї висловлювань істинно;
- сувора диз'юнкція істинна, коли одне з вхідних в неї висловлювань істинно, а друге ложно;
- імплікація істинна в трьох випадках: її основу і наслідок правдиві підставу помилково, а наслідок істинно; і підстава, і наслідок помилкові;
- еквівалентність істинна, коли два прирівнюваних в ній висловлювання обидва істинними чи обидва хибні;
- негативне висловлювання істинно, коли заперечується висловлення помилкове, і навпаки.
Цікава все таки річ - логіка В зв'язку з цим згадалися ще 2 анекдоту.
Жили були три брати, і була у них в господарстві корова. Ось як-то вранці прокидається старший брат, глядь, - а корови-то і немає. Будить він інших.
Старший: Корови на дворі немає; значить хтось вночі вкрав.
Середній: Раз вкрали, так значить хтось із Лопухінок - там все злодії.
Молодший: Раз хтось із Лопухінок у нас вночі корову забрав, так значить це Васька-косий; хто ж ще ?!
Пішли вони в сусіднє село, прибрали до рук Ваську, та й поволокли його до мирового судді. Розповіли того як все було. Суддя похитав головою. "Бр-р-р-р. Щось я вашої логіки зовсім не розумію. Ось мені тільки-що коробку принесли, і ви можете своєю дедукцією визначити що в ній знаходиться?"
Старший: Раз коробка квадратна, так значить в ній щось кругле.
Середній: Раз кругле, значить помаранчеве; по іншому не буває.
Молодший: Якщо в квадратній коробці лежить щось кругле і помаранчеве, так це, ясна річ, апельсин; що ж ще ?!
Суддя відкриває коробку, а там і правда апельсин лежить. Подумав він, подумав: "Да-а-а ... Ну що, Васька, віддавай братам корову!"
Жінка подала до суду на сусідку, стверджуючи, що та взяла на час глечик, а повернула його розбитим.
Сусідка на суді виправдовувалася тим, що вона, по-перше, не брала глечика, по-друге, повернула його цілим і, по-третє, він і був розбитий.