Professional Documents
Culture Documents
תרגיל 11 פיתרון
תרגיל 11 פיתרון
תרגיל 11
.1הצרינו את הטיעון הבא כך שההצרנה תקפה לוגית (אל תשכחו את המילון) ,ואז הוכיחו את תקפותה
(באמצעות ,EE ,EI ,UE ,UIוהכללים של תחשיב הפסוקים):
.2הצרינו את הטיעון הבא כך שההצרנה תקפה לוגית (אל תשכחו את המילון) ,ואז הוכיחו את תקפותה
(באמצעות ,EE ,EI ,UE ,UIוהכללים של תחשיב הפסוקים):
.3הוכיחו את התיאורמה הבאה (באמצעות ,EE ,EI ,UE ,UIוהכללים של תחשיב הפסוקים):
⊢ ∃y(Fy → ∀xFx)
:פיתרון נוסף