Vasturääkivus ja tehete sooritamise järjekord
Karmo Talts
Vaatame, kas vasturääkivuse korral muudab midagi see, kui me teeme tehteid teises järjekorras. Kui me oleme ellimineerinud konjunktsiooni P ja pole nii, et P ja P-st sisset toonud disjunktsiooni P või Q, siis me võime sellest disjunktsioonist sisse tuua järgmise disjunktsiooni pole nii, et P või disjunktisoon P või Q on tõene. Nüüd võime me kasutada disjunktiivset süllogismi P või Q järeldamiseks. Kui meil on koondamiseta loogika, siis pole meil enam P eitus saadaval selleks, et teha teist korda disjuntkiivset süllogismi kasutades suvaline järeldus.
No comments:
Post a Comment