Найти тему
2402 подписчика

Тезисы о формализации

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