Друзья, я уже третий день ломаю свой нежный мозг этим предметом, конкретнее "Натуральным выводом", если есть кто-то, кто понимает это, отзовитесь , прошуумоляю
Примеры заданий:
Я уже много поняла, но многие моменты не описаны в учебнике, вообще не знаю как доказать некоторые теоремы.
Еще словосочетания, которые могут дать объяснение по поводу этой темы: теория дедуктивных рассуждений, классическое исчисление высказываний, натуральное исчисление.
Примеры заданий:
Я уже много поняла, но многие моменты не описаны в учебнике, вообще не знаю как доказать некоторые теоремы.
Еще словосочетания, которые могут дать объяснение по поводу этой темы: теория дедуктивных рассуждений, классическое исчисление высказываний, натуральное исчисление.