загрузка...
загрузка...
На головну

види умовиводів

Поняття і структура умовиводу.

Таблиця значень складних висловлювань.

Раніше, на першій лекції, ми говорили про те, що будь-яка наша думка за формою може бути правильною або неправильною, за змістом справжньої або помилкової. Зупинимося докладніше на поняттях істинності і хибності стосовно складних висловлювань. Значення складного висловлювання залежить від значень простих, що входять до його складу.

p q  pUq  pUq pUq  p®q  p «q
и и и и л и и
и л л и и л л
л и л и и и л
л л л л л и и

кон'юнкція висловлювань p и q називається висловлювання, що позначається виразом pUq, Яке істинно тоді і тільки тоді, коли p и q істинні одночасно.

диз'юнкцією слабкою висловлювань p и q називається висловлювання, що позначається виразом pUq, Яке істинно тоді і тільки тоді, коли хоча б один з виразів p и q істинно.

диз'юнкцією сильної висловлювань p и q називається висловлювання, що позначається виразом pUq, Яке істинно тоді і тільки тоді, коли лише один з виразів p и q істинно.

импликацией висловлювань p и q називається висловлювання, що позначається виразом p®q, Яке помилково тоді і тільки тоді, коли p істинно, а q помилково.

еквіваленцію висловлювань p и q називається висловлювання, що позначається p «q, Яке істинно тоді і тільки тоді, коли логічні значення p и q збігаються.

умовиводи.

умовивід - Форма мислення, в якій з одного, двох або більше суджень виводиться нове судження, з необхідністю або певним ступенем ймовірності таке їх.

Судження, з яких виводиться нове судження, називаються посилками, А виведене з посилок судження - укладенням. Перехід від посилок до висновку - логічний висновок. При цьому слід враховувати, що термін «висновок» іноді вживають для позначення ув'язнення.

Для забезпечення істинності висновку в умовиводах необхідно дотримуватися таких правил:

1. посилки повинні бути істинними;

2. повинні бути дотримані правила виведення.

За кількістю посилок умовиводи діляться на:

1. безпосередні (одна посилка);

2. силогізми (дві посилки);

3. індуктивні (більше двох посилок).

Велика кількість посилок в індуктивних умовиводах обумовлено тим, що в них на основі вивчення окремих предметів виводиться узагальнююче положення. На відміну від індуктивних, в дедуктивних умовиводах виходять з деякого загального положення, під яке підводиться окремий випадок (наприклад: Якщо все планети кулясті, то і Земля, оскільки вона планета, є кулястої.).

За характером висновків:

1. Необхідні. Умовиводи, в яких з істинних посилок не можна зробити неправдивий висновок (наприклад: Якщо все метали є хімічними елементами, то титан, оскільки він метал, є хімічним елементом). Необхідний характер виведення забезпечується дотриманням певних для кожного виду умовиводів правил.

2. Імовірнісні. Умовиводи, в яких з істинних посилок можна отримати як справжнє, так і неправдивий висновок (наприклад: Якщо все літаки - літальні апарати і повітряна куля теж літальний апарат, то звідси зовсім не випливає, що повітряна куля є літаком).

Відносини між простими висловлюваннями. Логічний квадрат. «-- попередня | наступна --» Силогізми.
загрузка...
© om.net.ua