Atomaarsest väitest koosnev väidete hulk ja vasturääkivus
Karmo Talts
Vaatame, kas ühest atomaarsest väitest koosnev väidete hulk saab sisaldada vasturääkivust. Kuna väite saab asendada ekvivalentse väitega, siis saab atomaarse lause asendada keerukama väitega, mis on temaga ekvivalentne. Kui see keerukam väide on vasturääkiv, siis on ekvivalentne atomaarne väide samuti vasturääkiv ja seega sisaldab sellest atomaarsest väitest koosnev väidete hulk vasturääkivust.
No comments:
Post a Comment