Ero sivun ”Propositiologiikka” versioiden välillä

Propositiologiikassa (kuten formaalissa logiikassa muutenkin) voidaan erottaa kaksi päätapaa tutkia päättelyä: ''Päättelysäännöt'' (syntaktinen näkökulma) ja ''totuusarvon laskeminen'' (semanttinen näkökulma). Päättelysäännöt sinänsä eivät takaa sitä, että päättely säilyttää totuuden. Tämän takaa vasta sellaisten päättelysääntöjen käyttäminen, joiden ''[[eheys'']] (katso eheyslause alempana) on todistettu. Päättelysääntöjen sinänsä soveltaminen on ainoastaan uusien lauseiden johtamista jo oletetuista. Sen sijaan, jos tiettyjen päättelysääntöjen eheys on todistettu, voidaan päättelyn pätevyys todistaa jo pelkästään näihin päättelysääntöihin nojautuen. Eheydestä käytetään usein myös nimityksiä ''validius'' ja ''korrektisuus''.