9.3 El método de deducción Por ejemplo, la regla de Modus Ponens Modus Ponens En lógica proposicional, modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), también conocido como modus ponendo ponens (del latín " método de poner por colocar") o eliminación de implicación o afirmar el antecedente, es una forma de argumento deductivo y una regla de inferencia https://en.wikipedia.org › wiki › Modus_ponens
Modus ponens - Wikipedia
nos dice que si la proposición "P. Q" es verdadera y la proposición "P" es verdadera, entonces "Q" debe ser verdadera. Esta regla de inferencia se puede expresar como la siguiente afirmación tautológica de implicación material: “((P. Q)•P). P.”
¿Qué es esta regla de inferencia p y q implica p?
Latín para "método de negar". Una regla de inferencia extraída de la combinación de modus ponens y la contrapositiva. Si q es falsa, y si p implica q (p q), entonces p también es falsa. Un error de razonamiento. Dada una afirmación p, si ~p conduce lógicamente a una contradicción, entonces p debe ser verdadera.
¿Cuáles son las 9 reglas de inferencia?
Términos en este conjunto (9)
- Modus Ponens (M. P.) -Si P entonces Q. -P. …
- Modus Tollens (M. T.) -Si P entonces Q. …
- Silogismo Hipotético (H. S.) -Si P entonces Q. …
- Silogismo Disyuntivo (D. S.) -P o Q. …
- Conjunción (Conj.) -P. …
- Dilema constructivo (C. D.) -(Si P entonces Q) y (Si R entonces S) …
- Simplificación (Simp.) -P y Q. …
- Absorción (Abs.) -Si P entonces Q.
¿Cómo se lee PQ?
La implicación p → q (léase: p implica q, o si p entonces q) es el enunciado que afirma que si p es verdadera, entonces q también lo es. Estamos de acuerdo en que p → q es verdadero cuando p es falso El enunciado p se denomina hipótesis de la implicación, y el enunciado q se denomina conclusión de la implicación.
¿Por qué se usan P y Q en lógica?
Las proposiciones son iguales o lógicamente equivalentes si tienen siempre el mismo valor de verdad. Es decir, p y q son lógicamente equivalentes si p es verdadera siempre que q sea verdadera, y viceversa, y si p es falsa siempre que q sea falsa, y viceversa. Si p y q son lógicamente equivalentes, escribimos p=q.
