Абсолютно не факт. Одно из них будет непременно истинным только в том случае, если объем предикатов одинаков. Иными словами, если мы говорим об одном и том же крещении.
Так например, Вы будучи "крещеным" в детстве можете считать себя крещеным, но для баптиста это все равно что некрещеный. А может Вы крещеный у мормонов или еще каким-либо экзотическим образом.
Строго говоря, булева алгебра является подмножеством логики высказываний, которая далеко не столь тривиальна, как некоторым бы того хотелось.
Я думаю, что Вам стоило бы откинуть менторский тон, поскольку до преподавателя логики Вы явно не дотягиваете.
Так например, Вы будучи "крещеным" в детстве можете считать себя крещеным, но для баптиста это все равно что некрещеный. А может Вы крещеный у мормонов или еще каким-либо экзотическим образом.
Строго говоря, булева алгебра является подмножеством логики высказываний, которая далеко не столь тривиальна, как некоторым бы того хотелось.
Я думаю, что Вам стоило бы откинуть менторский тон, поскольку до преподавателя логики Вы явно не дотягиваете.
Комментарий