Egia-taula

Egia-taula edo egiazkotasun taula logikan erabiltzen den taula bat da, formula baten interpretazio posible guztiak aztertzen dituena, formulan ageri diren aldagai guztiak erabiliz. Taula honek zutabe bat dauka aldagai bakoitzerako eta azken zutabe bat formula logikoen emaitza posible guztiak adierazteko. Ilara bakoitzean aldagaien konbinazio posible bat ageri da.

Egia-taula ezaguna egin zen Ludwig Wittgensteinek 1921ean argitaratutakoTractatus Logico-Philosophicus liburuarekin, baina ia 30 urte lehenago Charles Sanders Peircek erabili zuen.

 Lotura logikoak 

 Ukapena 
Ukapenak edo ezeztapenak egia dena gezur bihurtzen du eta gezurra dena egia bihurtzen du.
P¬P¬¬PEGEGEG

 Konjuntzioa 
Egia ematen du biak egia badira.
PQP∧QEEEEGGGEGGGG

 Disjuntzioa 
Egia ematen du gutxienez bietako bat egia bada.
PQP∨QEEEEGEGEEGGG

 Inplikazioa 
Egia ematen du lehenengoa egia bada eta bigarrena egia bada edo lehenengoa egia bada. Gezurra emateko aukera bakarra lehenengoa egia izatea eta bigarrena gezurra izatea da.
PQP→QEEEEGGGEEGGE

 Erreferentziak 

 Kanpo estekak 

Kategoria:Proposizio logika
Kategoria:Elektronika digitala
Kategoria:Programazioa
Kategoria:Semantika
Kategoria:Matematika-tresnak
Kategoria:Eredu espezifikoak