Kaudne tõestus IP on siis, kui on palju implikatsioone. ! ! näiteks lausetest “Kui ma olen haige, siis ma oksendan.”, “Kui ma oksendan ! ! siis on mul paha olla.”, Kui mul on paha olla, siis mu silmad on valusad.”, “Kui ! ! mu silmad on valusad, siis ma ei näe.”, Kui ma ei näe, siis ma jooksen peaga ! ! vastu posti.” järeldub, et “Kui ma olen haige, siis ma jooksen peaga vastu ! ! posti.” 24. KVANTORITE LISAMIS- JA EEMALDAMISREEGLID. 1. Üldisuskvantori eemaldamine. ! Asendatakse muutuja x mingisuguse konstandiga x-i määramispiirkonnast. Nt: Iga ülikooli rektori puhul kehtib see, et ta on professor. Alar on ülikooli rektor. Järelikult Alar on professor. ! ∀x(Rx → Px) !(eeldus) ! Iga x puhul kehtib, et kui kui ta on ülikooli rektor, siis on ta professor. ! Ra! ! (eeldus) ! Alar on ülikooli rektor. ! ∴ Pa! ! ! ! ∴ Alar on professor. 2
Kaudne tõestus IP on siis, kui on palju implikatsioone. ! ! näiteks lausetest "Kui ma olen haige, siis ma oksendan.", "Kui ma oksendan ! ! siis on mul paha olla.", Kui mul on paha olla, siis mu silmad on valusad.", "Kui ! ! mu silmad on valusad, siis ma ei näe.", Kui ma ei näe, siis ma jooksen peaga ! ! vastu posti." järeldub, et "Kui ma olen haige, siis ma jooksen peaga vastu ! ! posti." 24. KVANTORITE LISAMIS- JA EEMALDAMISREEGLID. 1. Üldisuskvantori eemaldamine. ! Asendatakse muutuja x mingisuguse konstandiga x-i määramispiirkonnast. Nt: Iga ülikooli rektori puhul kehtib see, et ta on professor. Alar on ülikooli rektor. Järelikult Alar on professor. ! x(Rx Px) !(eeldus) ! Iga x puhul kehtib, et kui kui ta on ülikooli rektor, siis on ta professor. ! Ra! ! (eeldus) ! Alar on ülikooli rektor. ! Pa! ! ! ! Alar on professor. 2
annaabi.ee 
