40) Проста конструктивна дилема. (http://pulib.If.Ua/referat/view/38340)

Цейвисновокскладається з двохпосилок. У першійпосилцістверджується, що з двохрізнихпідставвипливаєодне й те самеслідство. У другійпосилці, яка є діз'юнктівнимсудженням, стверджується, щооднеабоінше з цихпідстав не правдиве. У висновкузатверджуєтьсяслідство.

У традиційноїформальноїлогікипростуконструктивнудилемузазвичайпредставляють у виглядітакоїсхеми:

Якщо А є В, то С є D, якщо Е є F, то С є D.

А є В або Е є F.

З є D.

Наведемо приклад простоїконструктивноїдилеми:

Якщо число ділиться на 6, то воноділиться і на 3; якщо число ділитьсяна

9, то воноділиться і на 3.

Дане число ділиться на 6 або на 9.

Дане число ділиться на 3.