Реферат Судження як форма думки

ід одного, перебрати всі можливі поєднання їх значень. Таких поєднань буде 2 3 , а в загальному випадку - 2, де - число різних простих суджень. Отже, для нашого випадку в трьох перших лівих шпальтах таблиці вісьмома рядками записують всі поєднання значень пропозіціональних змінних (Простих суджень). Механічний перебір всіх сполучень здійснюється, якщо для першої пропозіціональной змінної записати половину числа всіх рядків (Чотири рядки) "і", а другу половину - "л", для другої чергувати "і" і "л" через два рядки, а для останньої - через одну.

Після завдання значень пропозіціональних змінних, тобто заповнення так званих вхідних стовпців таблиці, визначають істиннісні значення всієї формули, починаючи з самих дрібних подформул, керуючись дужками, а саме подформул:

(1) В¬ p; (2) (В¬ p & q), (3) (r v p). p> Заключним кроком буде знаходження значення всієї формули ((В¬ p & q) Г‰ (r v p)). Таким чином, в таблиці, крім вхідних стовпців, з'являються ще 4 стовпця, де останній називається результуючим, тобто що дає відповідь на питання, за яких умов істинно складне судження даної форми.

Таблиця істинності

р

q

r

В¬ p

(В¬ p & Q)

(r v p)

((В¬ p & Q) Г‰ (r v p))

і

і

і

л

л

і

і

і

і

л

л

л

і

і

і

л

і

л

л

і

і

і

л

л

л

л

і

і

л

і

і

і

і

і

і

л

і

л

і

і

л

л

л

л