Spiegazione

[Mike15]

Mi potreste dare una definizione precisa di " tautologia " e di " contraddizione "? Grazie

[giacor86]

io sapevo che una tautologia è una frase che indipendentemente dalla verità e falsità delle proposizioni che la costutiscono, è sempre vera. la contraddizione invece è sempre falsa. questa sicuro non è la definizizione rigorosa di un logico.. però così me la insegnarono al liceo.

es: Tautologia: Il cane è vivo o il cane è non vivo [A or (notA)]

Contraddizione: Il cane è vivo e il cane non è vivo [A and (notA)]

prova a costurire le tabelle di verità.

[elios2]

Una tautologia è un'espressione logica che è vera qualunque sia il valore di verità delle proposizioni che la compongono; una contraddizione è un'espressione logica che è falsa qualunque sia il valore di verità delle proposizioni che la compongono.