Tautologia

Tautologia è un termine che deriva da una parola greca e si riferisce alla ripetizione dello stesso pensiero attraverso espressioni diverse. Una tautologia, per retorica, è un'affermazione ridicola.

È comune che le tautologie siano considerate un errore di linguaggio o una mancanza di stile. Tuttavia, è possibile fare appello a tautologie per enfatizzare una certa idea. Ad esempio: la preghiera "Posso confermare che l'imputato è colpevole poiché ho visto l'omicidio con i miei occhi" presenta un inutile chiarimento sull'uso dei suoi occhi, poiché non avrebbe potuto vedere con altri mezzi; al mismo modo, l'enfasi della parola "proprio" può essere completamente omessa.

Altri esempi molto comuni di tautologia possono essere visti nelle seguenti frasi: "Vado di sopra a cercare un libro e torno", "Devovo uscire per innaffiare le piante". Ogni volta che sale è verso l'alto; Allo stesso modo, partire implica uscire da un luogo, per il quale mancano tali chiarimenti senso e non sono necessari per la comprensione.

Quando la tautologia suppone una spiegazione ridicola che non fornisce nuove conoscenze, si parla spesso di truism o truismo: "Sono quello che sono". l'espressione in cui combino termini ridicoli (come "vai su" o "vai fuori"), invece, si chiama pleonasmo.

Nel campo della logica, una tautologia è una formula di un sistema il che è vero per qualsiasi interpretazione. In altre parole, è un'espressione logica che è vera per tutti i possibili valori di verità dei suoi componenti atomici. Per sapere se una formula di dati è una tautologia, è necessario costruire una tabella di verità.

Tavolo vero

La tabella di verità (nota anche come tabella dei valori di verità) presenta una proposizione composta e il suo valore di verità per ciascuna delle possibili combinazioni che possono essere date con i suoi elementi. Il suo autore fu il filosofo e scienziato americano Charles Sanders Peirce, conosciuto anche come il più grande rappresentante della semiotica moderna, e lo pubblicò a metà del XVIII secolo.

Per impostare un sistema formale, è necessario stabilire le definizioni di ogni operatore e gli argomenti devono essere esposti sotto forma di ragionamento logico-linguistico deduttivo, rispondere a un disegno puramente matematico e costituire un'applicazione. logica definire le variabili di ingresso e di uscita.

I due possibili valori che una tabella di verità può restituire sono: vero, che è espresso dalla lettera "V" o dal numero "1" e indica che il circuito è chiuso; falso, rappresentato dalla lettera "F" o dal numero "0", quando un circuito è aperto. Le proposizioni da analizzare sono le variabili, e sono in cima alla tabella, occupando la posizione comunemente usata per i nomi dei campi.

Gli operatori utilizzati in una tabella di verità sono:

* rifiuto: quando eseguito su un file valore veramente determinato, restituisce il contrario (se originariamente era vero, restituisce falso e viceversa);

* congiunzione: è usato per operare con due valori di verità, generalmente di due proposizioni differenti, e restituisce vero quando entrambi sono veri e falso per il resto dei casi;

* disgiunzione: simile alla congiunzione, ma è sufficiente che una delle due proposizioni abbia un valore vero per restituire un tale risultato;

* condizionale: conosciuto anche con il nome di coinvolgimento, accetta due proposizioni e restituisce false solo quando la prima restituisce true e la seconda restituisce false. Per i casi rimanenti, il vostro risultato è vero;

* bicondizionale: opera sui valori di verità di due affermazioni e restituisce vero se entrambe hanno lo stesso valore e falso altrimenti.

* bicondizionale: opera sui valori di verità di due affermazioni e restituisce vero se entrambe hanno lo stesso valore e falso altrimenti.