Podemos ver así que este argumento es válido aunque no tengamos idea de qué son “toves” o “borogoves” o qué significan “slithy” y “mimsy”. Así, la lógica proposicional, que incluye la prueba de valide...Podemos ver así que este argumento es válido aunque no tengamos idea de qué son “toves” o “borogoves” o qué significan “slithy” y “mimsy”. Así, la lógica proposicional, que incluye la prueba de validez de la tabla de verdad, es una especie de lógica formal, mientras que la prueba informal de validez no lo es.