From Wikipedia, the free encyclopedia
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.
Ukapenak edo ezeztapenak egia dena gezur bihurtzen du eta gezurra dena egia bihurtzen du.
P | ¬P | ¬¬P |
---|---|---|
E | G | E |
G | E | G |
Egia ematen du biak egia badira.
P | Q | P∧Q |
---|---|---|
E | E | E |
E | G | G |
G | E | G |
G | G | G |
Egia ematen du gutxienez bietako bat egia bada.
P | Q | P∨Q |
---|---|---|
E | E | E |
E | G | E |
G | E | E |
G | G | G |
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.
P | Q | P→Q |
---|---|---|
E | E | E |
E | G | G |
G | E | E |
G | G | E |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.