Tautologia (erretorika)

Adibidez: “Ama beti da ama”. Tautologia, gehienetan, diafora batekin doa, bereziki funtzio predikatiboa duenean.

Egia-taula bat eraikitzea metodo eraginkorra da edozein formula tautologia den ala ez zehazteko.

 Egia-taula 
Artikulu printzipala: Egia-taulaLogika proposizionaleko sistema batean, interpretazio bat esaldi bakoitzari esleitzen zaion egiazko (egia ala gezurra) balioa litzateke. Badakigu, tautologia bat formula bat dela, zeinetan edozein esaldi aukeratuz gero egia itzuliko digun beti, beraz, tautologia bat identifikatzeko orduan nahikoa dugu formula horren aukera guztien interpretazioa egitea, eta emaitza guztiak egia diren ala ez ikustea. Horretarako egia-taulak erabiltzen dira. Esaterako, kontsidera dezagun p ∧ q formula. Atal bakoitzari bi balore posibleetako bat eslei dakiokenez 22 = 4 egiazko baloreen konbinazio posible daude. Hau da, lau interpretazio ditugu: biak egiazkoak izan daitezke, p egia eta q gezurra izan daiteke, p gezurra eta q egia izan daiteke edo biak gezurrak izan daitezke. Hori taula sinple batekin adieraz daiteke:
+pqEEEGGEGG
Interpretazio bakoitzarentzako p ∧ q formularen balioa kalkula daiteke, eta hau ere egia-taula baten bidez adieraztea sinplea litzateke:
+pqp ∧ qEEEEGGGE    GGG    G
Hori izango litzateke p ∧ q formularen egia-taula. Ikus daitekeen bezala bi atalak egia direnean baino ez da egia formularen balioa. Tautologia bat lortzeko formularen interpretazio guztiak egia izan beharko lukete, beraz p ∧ q ez da tautologia bat. Bestalde, hurrengo taulan ikusten den formula tautologia bat litzateke:
+pqp ∧ q(p ∧ q)  pEEEEEGGEGE    GEGG    G         E
Edozein formulak n esaldi baditu, orduan 2n interpretazio posible izango ditu. Horregatik egia-taulak handiegiak izan daitezke. Hala ere, logika proposizionalak formula infinituki luzeak onartzen ez dituen heinean, interpretazio posible kopurua finitua izango da, eta beraz beti izango da posible formula baten egia taula egitean, formula tautologia bat den ala ez identifikatzea.

 Kanpo estekak 

Kategoria:Erretorika