Argumento válido

Argumento válido, estructura lógica de un. La estructura lógica de un argumento es válida si y sólo si las premisas implican tautológicamente [v. tautología] la conclusión, y consecuentemente, si esta es oracionalmente válida.

Ejemplo Si llueve entonces hará frío.  Llueve, luego, hace frío. Es un ejemplo tipico de Modus Ponendo Ponens [v]. Su forma lógica es

                                   [(p --> q) & p] --> q

                                     v  v   v   v  v   v  v

                                     v  f    f    f  v   v   f

                                     f   v   v   f  f    v  v

                                     f   v   f    f  f    v   f

donde no es posible que la conclusión sea falsa y las premisas verdaderas.