ขนาดวิดีโอ: 1280 X 720853 X 480640 X 360
แสดงแผงควบคุมโปรแกรมเล่น
เล่นอัตโนมัติ
เล่นใหม่
Иван Смирнов это сильнейший преподаватель на кафедре дискретной математике по логике, он очень хороший и крутой!
Здравствуйте, подскажитеПри выводе можно ли подставлять в аксиомы любые формулы? Совсем любые, даже те, что нам нужно вывести
да, аксиомы тавтологичны всегда
Иван Смирнов это сильнейший преподаватель на кафедре дискретной математике по логике, он очень хороший и крутой!
Здравствуйте, подскажите
При выводе можно ли подставлять в аксиомы любые формулы? Совсем любые, даже те, что нам нужно вывести
да, аксиомы тавтологичны всегда