Proposiziozko kalkulua (proposizio logikoa ere deitzen zaio, adierazpen logikoa, sententziaren kalkulua, logika sententziala edo batzuetan zeroth-ordena logika) proposizioen azterketari dagokionez (egia ala gezurra diren) beste proposizio batzuek osatzen dute. konexio logikoen erabilera. Lehen ordenako logika proposizioaren logika zabaltzen da proposizio bat "bakoitzerako", "existitzen", "berdintasuna" eta "kidetza" bezalako eraikuntza gisa adierazteko, eta proposizioaren logikan proposizioak atomo gisa pentsatzen dira. [Logika][Lehen mailako ordena logikoa] |