Ero sivun ”Propositiologiikka” versioiden välillä
| [katsottu versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
p osioita on {{Kesken}} |
|||
Rivi 73:
== Päättely propositiologiikassa ==
{{Kesken}}
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''.
Rivi 224:
== Tautologia ja looginen seuraus ==
{{Kesken}}
''Klassisessa'' ''propositiologiikassa'' pätevät seuraavat lait:
| |||