Implicació material, paradoxes de la

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í,

[math]\displaystyle{ q\rightarrow (p\rightarrow q) }[/math]

verum sequitor at quodlibet

[math]\displaystyle{ ¬p\rightarrow (p\rightarrow q) }[/math]

ex falso sequitor quodlibet

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.