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