Вероятно, а

Формализуя же такого рода рассуждения при помощи ЯКЛВ получим в качестве простейшей формулу:

(((ab)d)((aс)d))(аd).

Установим методом таблицы истинности (рис. 37):

P(аd), P((ab)d)((aс)d) и P(аd)/((ab)d)((aс)d).

a	b	c	d	ab	ac	ad	(ab)d	(ac)d	((ab)d) ((ac)d)	(((ab)d)((ac)d)) (ad)
и	и	и	и	и	и	и	и	и	и	и
и	и	и	л	и	и	л	л	л	л	и
и	и	л	и	и	л	и	и	и	и	и
и	и	л	л	и	л	л	л	и	л	и
и	л	и	и	л	и	и	и	и	и	и
и	л	и	л	л	и	л	и	л	л	и
и	л	л	и	л	л	и	и	и	и	и
и	л	л	л	л	л	л	и	и	и	л
л	и	и	и	л	л	и	и	и	и	и
л	и	и	л	л	л	и	и	и	и	и
л	и	л	и	л	л	и	и	и	и	и
л	и	л	л	л	л	и	и	и	и	и
л	л	и	и	л	л	и	и	и	и	и
л	л	и	л	л	л	и	и	и	и	и
л	л	л	и	л	л	и	и	и	и	и
л	л	л	л	л	л	и	и	и	и	и

Рис. 37

P(аd)=³/₄, P((ab)d)((aс)d)=¹³/₁₆, P(аd)/((ab)d)((aс)d)=¹⁵/₁₆.

Поскольку P(аd)/((ab)d)((aс)d)>P(аd), то имеет место вероятностное рассуждение.

Метод единственного различия заключается в сравнении двух случаев наступления интересующего явления-следствия, в одном из которых это явление наступает, а в другом — отсутствует, и при этом второй случай отличается от первого лишь одним обстоятельством. Присутствующее в первом и отсутствующее во втором случаях обстоятельство и считается причиной. При использовании данного метода действует правило нахождения различного в сходном. Развёрнутая, табличная схема рассуждений, осуществляемых при использовании данного метода (рис. 38):

Случаи наступления интересующего следствия а	Предшествовавшие а обстоятельства	Наблюдаемое явление
1.	A, B, C, D	а
2.	B, C, D	не-а

Рис. 38

Вывод: вероятно, явление А является причиной явления-следствия а.

Свёрнутая схема рассуждений, осуществляемых при использовании данного метода:

A, B, C, D — а

B, C, D — не-а

^{_____________________} .

Вероятно, а

Согласно рассмотренным схемам имеем следование: A ║= а.

Простейший вариант формулы такого рода рассуждений:

((ab)c)(bc))(ac).

Рассматривая эту формулу при помощи таблицы истинности, получим (рис. 39):

a	b	c	c	ab	ac	bc	(ab)c	((ab)c)(bc)	((ab)c)(bc)) (ac)
и	и	и	л	и	и	л	и	л	и
и	и	л	и	и	л	и	л	л	и
и	л	и	л	л	и	и	и	и	и
и	л	л	и	л	л	и	и	и	л
л	и	и	л	л	и	л	и	л	и
л	и	л	и	л	и	и	и	и	и
л	л	и	л	л	и	и	и	и	и
л	л	л	и	л	и	и	и	и	и

Рис. 39

То есть P(аc)=³/₄, P((ab)c)(bc))=⁵/₈, P(аc)/((ab)c)(bc))=⁴/₅.

Поскольку P(аc)/((ab)c)(bc))>P(аc), то имеет место вероятностное рассуждение.

Объединённый метод сходства и различия заключается в комбинировании двух предшествующих методов, т. е. посредством анализа множества всех сопутствующих обстоятельств обнаруживается как сходное в различном, так и различное в сходном.

• Пример

Известно, что из трёх человек двое заболели туберкулёзом. При этом первый незадолго до заболевания пил козье молоко, пользовался общей с третьим посудой и простывал. Второй незадолго до заболевания пил козье молоко и простывал. Третий незадолго до заболевания первого и второго пользовался общей с первым посудой и простывал. Значит, вероятно причиной заболевания было выпитое козье молоко.

В таком случае рассуждение осуществляется по схеме:

A, B, C — а

A, C — а

B, C — не-а

^{__________________} ,

Вероятно, А

которая также может быть представлена в виде таблицы (рис. 40)

Случаи наступления интересующего следствия а	Предшествовавшие а обстоятельства	Наблюдаемое явление
1.	A, B, C	а
2.	A, C	а
3.	B, C	не-а

Рис. 40

и приводит к заключению: видимо, А является причиной а.

Рассуждения, ведущиеся объединённым методом сходства и различия на ЯКЛВ, могут быть выражены соответствующей формулой:

(((abс)d)((aс)d))((bс)d)))(аd).

Метод сопутствующих изменений применяется при анализе случаев, в которых имеет место видоизменение одного из предшествующих обстоятельств одновременно с видоизменением исследуемого явления.

Такого рода рассуждение может быть представлено и в виде таблицы (рис. 41)

Случаи наступления интересующего следствия а	Предшествовавшие а обстоятельства	Наблюдаемое явление
1.	А1, В, С	а1
2.	А2, В, С	а2
Вероятно, что А — причина а.

Рис. 41

Схематично такого рода рассуждение выглядит следующим образом:

А₁, В, С — a₁

А₂, В, С — a₁

^{___________________________________} .