Modus Ponens кантип иштейт?
Modus Ponens кантип иштейт?

Video: Modus Ponens кантип иштейт?

Video: Modus Ponens кантип иштейт?
Video: Как выглядят нечёткие Modus Ponens и Modus Tollens? Душкин объяснит 2024, Май
Anonim

сунуш логикасында, modus ponens (/ˈmo?d?s ˈpo?n?nz/; MP; ошондой эле режим ponendo ponens (Латын тилинен "тастыктоо менен ырастаган режим") же импликацияны жоюу) болуп саналат тыянак чыгаруу эрежеси. It болот "P Q жана P дегенди билдирет болуп саналат чындык деп ырасталган, ошондуктан Q чындык болушу керек."

Ошондой эле, мисал менен modus ponens жана modus tollen деген эмне?

Негизги идеялар: эки ырааттуу логикалык аргумент конструкциялары бар: modus ponens («тастыктоо менен тастыктаган жол») жана modus tollens («жок кылуу менен танып турган жол»). Modus Ponens : "Эгер А чын болсо, анда В чындык. А чындык. Демек, В чындык."

Ошондой эле, Modus tollens мисалы кандай? Кийинки мисалдар болуп саналат ныкы modus tollens аргумент түрү: торт кант менен жасалган болсо, анда торт таттуу болот. Ошондуктан, торт кант менен жасалбайт. Сэм Канадада төрөлгөн болсо, анда ал канадалык.

Муну эске алуу менен, эмне үчүн Modus tollens жарактуу?

МТ көбүнчө натыйжаны жокко чыгаруу деп да аталат. Экинчи, modus ponens жана modus tollens катары жалпы кабыл алынат жарактуу аргументтердин формалары. Расмий түрдө а жарактуу аргумент бул маанилүү өзгөчөлүккө ээ: Бул жайлар чындык болсо, анда корутунду чындык болушу керек.

Туура аргументтин жалган тыянагы болушу мүмкүнбү?

ЧЫН: Эгерде ан аргумент болуп саналат үн , анда ал жарактуу жана бардык чыныгы жайлар бар. жарактуу болгондуктан, аргумент бардык жайлар чын болсо, анда корутунду чын болушу керек. Демек жарактуу болсо аргументтин жалган корутундусу бар , мүмкүн эмес бар бардык чыныгы жайлар. Ошентип, жок дегенде бир негиз болушу керек жалган.

Сунушталууда: