9.3 Metoden för deduktion Till exempel regeln för Modus Ponens Modus Ponens I propositionell logik, modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), även känd som modus ponendo ponens (latin för " sätt att lägga genom att placera") eller implikationseliminering eller bekräftelse av antecedenten, är en deduktiv argumentform och slutledningsregel https://en.wikipedia.org › wiki › Modus_ponens
Modus ponens - Wikipedia
säger oss att om påståendet "P. Q" är sant och påståendet "P" är sant, så måste "Q" vara sant. Denna slutledningsregel kan uttryckas som följande tautologiska påstående om materiell implikation: "((P. Q)•P). Q.”
Vad är denna slutledningsregel p och q innebär p?
Latin för "metod att förneka." En slutledningsregel som hämtas från kombinationen av modus ponens och kontrapositiva. Om q är falsk, och om p antyder q (p q), så är p också falskt. Ett resonemangsfel. Givet ett påstående p, om ~p leder logiskt till en motsägelse, måste p vara sant.
Vilka är de nio reglerna för slutledning?
Villkor i denna uppsättning (9)
- Modus Ponens (M. P.) -Om P så Q. -P. …
- Modus Tollens (M. T.) -Om P då Q. …
- Hypotetisk syllogism (H. S.) -Om P då Q. …
- Disjunktiv syllogism (D. S.) -P eller Q. …
- Konjunktion (Konj.) -P. …
- Konstruktivt dilemma (C. D.) -(Om P då Q) och (Om R då S) …
- Simplification (Simpl.) -P och Q. …
- Absorption (Abs.) -Om P då Q.
Hur läser du PQ?
Implikationen p → q (läs: p innebär q, eller om p så q) är det påstående som hävdar att om p är sant, så är q också sant. Vi är överens om att p → q är sant när p är falskt Påståendet p kallas hypotesen för implikationen, och påståendet q kallas slutsatsen av implikationen.
Varför används P och Q i logik?
Propositionerna är lika eller logiskt likvärdiga om de alltid har samma sanningsvärde. Det vill säga, p och q är logiskt ekvivalenta om p är sant närhelst q är sant, och vice versa, och om p är falskt närhelst q är falskt, och vice versa. Om p och q är logiskt ekvivalenta, skriver vi p=q.
