Vasturääkivuse seaduse ja välistatud kolmanda seaduse üldistused mitmekohaliste predikaatide jaoks

Vasturääkivuse seaduse ja välistatud kolmanda seaduse üldistused mitmekohaliste predikaatide jaoks 

Karmo Talts

 

Vaatame, kuidas üldistada vasturääkivuse seadust mitmekohaliste predikaatide jaoks. Ühelgi järjestatud objektide paarile ei saa korraga rakenduda kahekohaline predikaat P ja mitte rakenduda kahekohaline predikaat P. Ühelegi järjestatud kolmest objektist koosnevale objektile ei saa korraga rakenduda kolmekohaline predikaat P ja mitte rakenduda kolmekohaline predikaat P. Jne.

Vaatame nüüd välistatud kolmanda seadust. Igale järjestatud objektide paarile rakendub kahekohaline predikaat P või ei rakendu kahekohaline predikaat P. Igale järjestatud kolmest objektist koosnevale objektile rakendub kolmekohaline predikaat P või ei rakendu kolmekohaline predikaat P. Jne.