Т.к. дизъюнкция строгая, то вывод представленный на доске, конечно же, некорректен. Действительно, обозначим строгую дизъюнкцию через «+». Тогда a+b,a1+a2,b1+b2╞a1+a2+b1+b2 опровергается *при любой оценке* в которой все посылки истинны. Напр., если истинны только а, a1, а2, то, очевидно, что a1+a2+b1+b2 ложна, т.к. она истинна, е.т.е. ровно одна ее часть истинна. ---- Возможно, лекторка хотела сказать, что вывод истинен с нестрогой дизъюнкцией. Это было бы правдой. Однако дидактическая ценность такого примера достаточно низкая, т.к. а╞a\/b корректно при любых а и b.
Т.к. дизъюнкция строгая, то вывод представленный на доске, конечно же, некорректен.
Действительно, обозначим строгую дизъюнкцию через «+».
Тогда a+b,a1+a2,b1+b2╞a1+a2+b1+b2 опровергается *при любой оценке* в которой все посылки истинны. Напр., если истинны только а, a1, а2, то, очевидно, что a1+a2+b1+b2 ложна, т.к. она истинна, е.т.е. ровно одна ее часть истинна.
----
Возможно, лекторка хотела сказать, что вывод истинен с нестрогой дизъюнкцией. Это было бы правдой. Однако дидактическая ценность такого примера достаточно низкая, т.к. а╞a\/b корректно при любых а и b.