Кон'юнкція: відмінності між версіями

[перевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
Рядок 15:
Приклад:
 
:ПетроЯрік любить яблука.
:ПетроЯрік любить сало.
:Отже, ПетроЯрік любить яблука і сало.
 
Кон'юктивне усунення є іншим класичним дійсним, простим аргументом форми. Інтуїтивно, це дозволяє зробити висновок з будь-якої кон'юнкції або елемента цієї кон'юнкції.