Programa honen helburu bakarra sortzen da, eta, erakusteak egiaren mahaiak.
Free bertsio honek ohiko logika klasikoaren connectives guztiak onartzen, ezeztapena, lankidetzan, (biak barne) disjuntzioa, conditonal (material inplikazioa), eta bibaldintzazkoa (material baliokidetza), baita konstanteak 1 eta 0 egia eta faltsutasuna adierazten da, hurrenez hurren. Cool gauza bat da, zertxobait aspergarria logikaren notazio estandarra gain, Lukasiewicz korrontean betetako, distiratsua poloniar notazioa erabili ahal izango duzu, gehiegi.
Eta hori ez da hor gelditu. Zara behera-to-lurra, zentzunaren pertsona mota bada, reassuring da berez, programa klasikoa, bi baloratzen, logika erabiltzen du aurkitu ahal izango duzu. Baina abenturazale mota gehiago bazaude, inoiz enpresa baten labur gelditu, egia-taulak ikasten poz-pozik izango duzu Android logika ez-klasikoa, sistemak anitzeko baloratzen kopuru bat onartzen, gehiegi. Inoiz sar ibai bat birritan, eta bi negatibo ez dute baieztapen bat, nolabait esateko!
Azken eguneratzea
2013(e)ko aza. 14(a)