Kako funkcioniše modus Ponens?
Kako funkcioniše modus Ponens?

Video: Kako funkcioniše modus Ponens?

Video: Kako funkcioniše modus Ponens?
Video: 2. Исчисление высказываний 2024, April
Anonim

U propozicionoj logici, modus ponens (/ˈmo?d?s ˈpo?n?nz/; MP; također modus ponendo ponens (Latinski za "način koji potvrđivanjem potvrđuje") ili eliminacija implikacije) je pravilo zaključivanja. To mogu sažeti kao "P implicira Q i P je za koje se tvrdi da je istinito, stoga Q mora biti istinit."

Također, šta je modus ponens i modus tollen sa primjerom?

Osnovne ideje su: Postoje dvije konzistentne logičke konstrukcije argumenata: modus ponens („način koji afirmiše afirmacijom“) i modus tollens („način na koji poriče negiranjem“). Modus Ponens : "Ako je A tačno, onda je B tačno. A je tačno. Dakle, B je tačno."

Također, koji je primjer modus tollensa? Sljedeće su primjeri of the modus tollens forma argumenta: Ako je torta napravljena sa šećerom, onda je torta slatka. Stoga se kolač ne pravi sa šećerom. Ako je Sem rođen u Kanadi, onda je Kanađanin.

Imajući ovo u vidu, zašto je modus tollens važeći?

MT se često naziva i negiranjem posljedice. Sekunda, modus ponens i modus tollens univerzalno se smatraju validan forme argumentacije. Formalnije, a validan Argument ima ovu bitnu osobinu: neophodno je da ako su premise tačne, onda je zaključak istinit.

Može li zdrav argument imati lažan zaključak?

TAČNO: Ako je an argument je zvuk , onda je validan i ima sve istinite premise. Pošto je važeća, argument je takav da ako su sve premise tačne, onda je zaključak mora biti istina. Dakle, ako je validan argument ima lažan zaključak , ne može imati sve istinite premise. Dakle, barem jedan premisa mora biti false.

Preporučuje se: