Tõeskeem ning esimese ja kõrgema järgu loogika
Karmo Talts
Sõnastame ettevaatlikuma arusaama tõeskeemist: esimese või kõrgema järgu loogika väide on tõene parajasti siis, kui on nii, nagu see väide ütleb. Kui tavakeele lause väljendab väidet, mis on tõene parajasti siis, kui on nii, nagu see väide ütleb, siis on tavakeele lause poolt väljendatav väide analüüsitav esimese või kõrgema järgu loogika abil
Vaatame nüüd selle tähendust lausearvutuse jaoks. Lausemuutuja asendab tõest väidet või lausemuutuja asendab väära väidet või lausemuutuja ei asenda väidet, mis on analüüsitav esimese või kõrgema järgu loogika abil.
No comments:
Post a Comment