Selle eitamine, et erineva kohalised predikaadid rakenduvad ja valet tüüpi objektid
Karmo Talts
Vaatame seda, mida tähendab selle eitamine, et ühekohaline predikaat P rakendub. See tähendab selle eitamist, et P rakendub ühele objektile.
Vaatame nüüd seda, mida tähendab selle eitamine, et kahekohaline predikaat P rakendub. See tähendab selle eitamist, et P rakendub objektide järjestatud paarile.
Vaatame nüüd selle väljendamist, et kahekohaline predikaat P ei rakendu ühele objektile. Seda ei saa formaalsete vahenditega väljendada, sest ¬ P (x, ) ei ole lõpetatud predikaat.
Vaatame nüüd, mida see tähendab väidete tõeväärtus jaoks. Kui väide kasutab õigesti moodustatud predikaate, siis on väitel tõeväärtus. Kui väide kasutab valesti moodustatud predikaate, siis on väide lõpetamata.
Kommentaare ei ole:
Postita kommentaar