Falsabilidad popperiana y modus tollens

La **falsabilidad**, según Popper, es el criterio que distingue a la ciencia y se basa en la

**lógica deductiva**. Los enunciados universales, como “todo es redondo” (∀xRx), no pueden verificarse

comprobando todos los casos, pero sí pueden refutarse mediante un solo contraejemplo: basta

encontrar algo que no sea redondo (∃x¬Rx). Lo mismo ocurre con los enunciados condicionales universales,

como “todos los planetas son redondos” (∀x(Px → Rx)), que se falsan encontrando un caso en el que

algo sea planeta y no sea redondo (∃x(Px ∧ ¬Rx)). Este tipo de razonamiento responde al **modus

tollens**: si de una proposición p se sigue q (p → q), y se demuestra que

q es falsa (¬q), entonces necesariamente p es falsa (¬p). A diferencia de la inducción,