Логика и метаматематические исследования

Умозаключение "Если число делится на 6 (без остатка), то оно делится на 2 (без остатка). 12 делится на 6. Следовательно, 12 делится на 2" построено правильно, так как оно имеет форму "Если А, то В. А. Следовательно, В" (это форма Modus Ponens), а для этой формы невозможно подобрать умозаключение, в котором каждая посылка была бы истинной, а заключение - ложным.

✍3❤2👍1👏1

www.tgoop.com/logic_metamathematics/688

278 viewsJul 24, 2024 at 04:57

Умозаключение "Если число делится на 6 (без остатка), то оно делится на 2 (без остатка). 12 делится на 6. Следовательно, 12 делится на 2" построено правильно, так как оно имеет форму "Если А, то В. А. Следовательно, В" (это форма Modus Ponens), а для этой формы невозможно подобрать умозаключение, в котором каждая посылка была бы истинной, а заключение - ложным.

BY Логика и метаматематические исследования