V Пример. Проанализируем рассуждение: «Поскольку, когда идёт первая половина будних дней

Проанализируем рассуждение: «Поскольку, когда идёт первая половина будних дней недели и когда идёт вторая половина будних дней недели верующие города N проводят в молитвах, то возможно, что и выходные дни они проводят в молитвах». Данное рассуждение имеет логическую форму ((bÉа)Ù(сÉа))É(dÉа) со следующим набором истинностных значений антецедента и консеквента:

a	b	c	d	((bÉа)	Ù	(сÉа))	(dÉа)
и	и	и	и	и	и	и	и
и	и	и	л	и	и	и	и
и	и	л	и	и	и	и	и
и	и	л	л	и	и	и	и
и	л	и	и	и	и	и	и
и	л	и	л	и	и	и	и
и	л	л	и	и	и	и	и
и	л	л	л	и	и	и	и
л	и	и	и	л	л	л	л
л	и	и	л	л	л	л	и
л	и	л	и	л	л	и	л
л	и	л	л	л	л	и	и
л	л	и	и	и	л	л	л
л	л	и	л	и	л	л	и
л	л	л	и	и	и	и	л
л	л	л	л	и	и	и	и

Рис. 32

Согласно построенной таблице имеем: P(dÉа)=³/₄ и P((bÉа)Ù(сÉа))=¹/₂. Для определения P(dÉа)/((bÉа)Ù(сÉа))É(dÉа)) осуществим в таблице изменения:

a	b	c	d	((bÉа)	Ù	(сÉа)	(dÉа)
и	и	и	и	и	и	и	и
и	и	и	л	и	и	и	и
и	и	л	и	и	и	и	и
и	и	л	л	и	и	и	и
и	л	и	и	и	и	и	и
и	л	и	л	и	и	и	и
и	л	л	и	и	и	и	и
и	л	л	л	и	и	и	и
л	л	л	и	и	и	и	л
л	л	л	л	и	и	и	и

Рис. 33

Таким образом:

1) P(dÉа)/((bÉа)Ù(сÉа))É(dÉа))=⁹/₁₀;

2) между формулами ((bÉа)Ù(сÉа)) и (dÉа) имеет место такая форма зависимости, при которой P(dÉа)<P(dÉа)/((bÉа)Ù(сÉа))É(dÉа)), что доказывает наличие в рассуждении правдоподобного следования.

Дата добавления: 2015-09-05