Väite poolt kasutatavad tõeväärtusega seotud predikaadid ja nende vabastamine
Karmo Talts
Vaatame tõepredikaadi vabastamist väite "väide "lumi on valge" on tõene" puhul. Tõepredikaadi vabastamisel saame me väite, mis ei kasuta tõe- ja väärusepredikaati.
Vaatame nüüd väidet "väide "see väide on väär" on tõene". Tõepredikaadi vabastamisel me ei saa väidet, mis ei kasuta väärusepredikaati.
Vaatame nüüd selle tähendust. Kui me tõeväärtustega seotud predikaadi vabastamisel saame tõeväärtustega seotud predikaate mitte-kasutava väite või me saame väite, mille poolt kasutatava tõeväärtusega seotud predikaadi vabastamisel saame me tõeväärtusega seotud predikaate mitte-kasutava väite jne., siis me saame väite tõeväärtuse kindlaks teha.
No comments:
Post a Comment