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.

Konjuntzioa 
Egia ematen du biak egia badira.

Disjuntzioa 
Egia ematen du gutxienez bietako bat egia bada.

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.

Erreferentziak

Kanpo estekak 

Proposizio logika
Elektronika digitala
Programazioa
Semantika
Matematika-tresnak
Eredu espezifikoak