Especial lógica

Ejemplos de tabla de verdad:

- Si algunas son V y otras son F se denomina ARGUMENTO INCONSISTENTE

- Si todas son V se denomina TAUTOLOGÍA

- Si todas son F se denomia CONTRADICCIÓN

Todas las leyes logicas son TAUTOLOGIAS.

DEDUCCIÓN NATURAL

Todas las leyes lógicas son tautologias:

1º El modus ponendo pones (MP)

Es una tautologia

2º El modus tollendo tolles

Es una tautología