Kā darbojas modus Ponens?
Kā darbojas modus Ponens?

Video: Kā darbojas modus Ponens?

Video: Kā darbojas modus Ponens?
Video: 2. Исчисление высказываний 2024, Novembris
Anonim

Propozīcijas loģikā modus ponens (/ˈmo?d?s ˈpo?n?nz/; MP; arī modus ponendo ponens (Latīņu valodā "režīms, kas apstiprina apstiprina") vai implikāciju izslēgšana) ir secinājumu likums. Tas var jāapkopo šādi: "P nozīmē Q un P ir apgalvots, ka tā ir patiesība, tāpēc Q ir jābūt patiesam."

Kā arī, kas ir modus ponens un modus tollen ar piemēru?

Pamatidejas ir šādas: Ir divas konsekventas loģiskās argumentu konstrukcijas: modus ponens ("veids, kas apstiprina, apstiprinot") un modus tollens ("veids, kas noliedz, noliedz"). Modus Ponens : "Ja A ir patiess, tad B ir patiess. A ir patiess. Tāpēc B ir patiess."

Kā arī, kāds ir modus tollens piemērs? Sekojošais ir piemēri no modus tollens argumentu forma: Ja kūka ir pagatavota ar cukuru, tad kūka ir salda. Tāpēc kūka nav gatavota ar cukuru. Ja Sems ir dzimis Kanādā, tad viņš ir kanādietis.

Ņemot to vērā, kāpēc modus tollens ir derīgs?

MT bieži tiek saukta arī par konsekvences noliegšanu. Otrkārt, modus ponens un modus tollens tiek vispārēji uzskatīti par derīgs argumentu formas. Formālāk sakot, a derīgs argumentam ir šī būtiskā iezīme: Ja premisas ir patiesas, tad secinājums ir patiess.

Vai pamatotam argumentam var būt nepatiess secinājums?

PATIESĪBA: ja an arguments ir skaņu , tad tas ir derīgs un tam ir visas patiesās telpas. Tā kā tas ir derīgs, arguments ir tāda, ka, ja visas telpas ir patiesas, tad secinājums jābūt patiesībai. Tātad, ja derīgs argumentam ir nepatiess secinājums , tā nevar ir visas patiesās telpas. Tādējādi vismaz viens priekšnoteikums jābūt viltus.

Ieteicams: