tgoop.com/logic_metamathematics/949
Create:
Last Update:
Last Update:
Например, умозаключения: "Все студенты - учащиеся. Следовательно, Некоторые учащиеся - студенты" и "Все люди - смертны. Сократ - человек. Следовательно, Сократ - смертен" являются правильными, но их правильность подтверждается только в том случае, когда мы учитываем отношения между понятиями, выступающими в роли субъектов и предикатов их посылок и заключений. Если формы этих умозаключений записать в виде формул исчисления высказываний, то эти формулы окажутся нейтральными (напомним, что если форма умозаключения выражается тождественно истинной формулой исчисления высказываний, то такая форма является правильной).
BY Логика и метаматематические исследования
Share with your friend now:
tgoop.com/logic_metamathematics/949