Modus ponendo ponens: Diferència entre les revisions
De Wiki de Filosofia
| (Una revisió intermèdia per un altre usuari que no es mostra) | |||
| 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. | ||
| + | |||
| + | |||
| + | [[Categoria:Lògica]] | ||
Revisió de 00:52, 29 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.
