Disjunktsioon ja vasturääkivus
Karmo Talts
Vaatame disjunktsioonide sissetoomist. P-st järeldub P∨Q, sellest (P∨Q)∨R jne.
Kasutame nüüd transitiivsust. P-s järeldub kõiki lausemuutujaid kasutav disjunktsioon.
Vaatame nüüd, kuidas käitub see disjunktsioon vasturääkivuse korral P-st järeldub kõiki lausemuutujaid kasutav disjunktsioon ja disjunktiivset süllogismi kasutades saame me järeldada disjunktsiooni, mis kasutab kõiki lausemuutujaid peale P. St., me ei saa teha päris suvalist järeldust.
Sõnastame nüüd järgmise piirangu dsjunktsiooni sissetoomisele: P-st järeldub kõiki mõeldavaid lausemuutujaid kasutav disjunktsioon. Selleks, et järeldada lihtsam disjunktsioon, peame me kasutama disjunktiivset süllogismi.
No comments:
Post a Comment