Disjunktsioon ja väite, millest disjunktsioon sisse tuuakse, tõesus
Karmo Talts
Vaatame, kuidas kohandada disjunktsiooni sissetoomist tõsiasjaga, et kui P on tõene, siis P on tõene sõltumata sellest, millised väited on veel tõesed. Kui P, siis P või P ja Q.
Vaatame nüüd disjuntkiivset süllogismi, mis võtab arvesse seda, et kui disjunktsoon on sissetoodud P-st, siis on P tõene. Kui P või P ja Q ja pole nii, et Q, siis P.
No comments:
Post a Comment