Implicació material, paradoxes de la
De Wikisofia
La versió per a impressora ja no és compatible i pot tenir errors de representació. Actualitzeu les adreces d'interès del navegador i utilitzeu la funció d'impressió per defecte del navegador.
Mal anomenades paradoxes que procedeixen de la definició del condicional com implicació material. Les principals són les que la tradició denomina amb les expressions llatines de verum sequitur ad quodlibet (un enunciat veritable està implicat materialment per qualsevol altre enunciat) i exfals sequitur quodlibet (un enunciat fals implica materialment a qualsevol altre enunciat): Així,
verum sequitor at quodlibet
[math]\displaystyle{ ¬p\rightarrow (p\rightarrow q) }[/math]
teoremes que fan lògicament veritables expressions com: «Si Barcelona és la capital d'Espanya, Madrid està en el centre», o «si els cavalls volen, la lluna està feta de formatge verd», expressions que xoquen contra l'ús natural del llenguatge.