Tõe mõtestamine kvantorite abil
Karmo Talts
Vaatame võimalusi mõtestada tõde kvantorite abil. Eksistentsikvantori abil sõnastatud jaatav väide on tõene parajasti siis, kui kvantori ulatuses olev konstruktsioon omab osutust. Eksistentsikvantori abil sõnastatud eitav väide on tõene parajasti siis, kui kvantori ulatuses olev konstruktsioon ei oma osutust.
Vaatame nüüd üldisusekvantori abil sõnastatud väiteid. Üldisuse kvantori abil sõnastatud jaatav väide on tõene siis, kui kvantori ulatuses oleva konstruktsioonile vasturääkiv konstruktsioon ei oma osutust. Üldisuse kvantori abil sõnastatud eitav väide on tõene siis, kui kvantori ulatuses oleva konstruktsioonile vasturääkiv konstruktsioon omab osutust.
Kommentaare ei ole:
Postita kommentaar