Modus ponendo ponens: Diferència entre les revisions
De Wiki de Filosofia
| Línia 1: | Línia 1: | ||
| − | En lògica proposicional. forma d'[[argumentació]] vàlida | + | En lògica proposicional. forma d'[[argumentació]] vàlida que raona que donat un condicional, afirmant un cas de l'antecedent (''pono'' vol dir afirmar) es pot afirmar vàlidament un cas del conseqüent. Vegeu-ne l'esquema: |
| − | A → B | + | *A → B |
| − | A | + | *A |
| − | B | + | *B |
| − | |||
| − | |||
| − | |||
| − | Si engego l'ordinador em distrec; he engegat l'ordinador, per tant, em distrec. | + | *Si A, llavors B, |
| + | *A, | ||
| + | *Per tant, B | ||
| + | |||
| + | Exemple: Si engego l'ordinador em distrec; he engegat l'ordinador, per tant, em distrec. | ||
Revisió del 20:05, 19 nov 2007
En lògica proposicional. forma d'argumentació vàlida que raona que donat un condicional, afirmant un cas de l'antecedent (pono vol dir afirmar) es pot afirmar vàlidament un cas del conseqüent. Vegeu-ne l'esquema:
- A → B
- A
- B
- Si A, llavors B,
- A,
- Per tant, B
Exemple: Si engego l'ordinador em distrec; he engegat l'ordinador, per tant, em distrec.
