‫‪1‬‬

‫כללי היסק – דדוקציה טבעית‬

‫)‪Rule of Assumption (A‬‬

‫ניתן להוסיף כל פסוק בכל שלב של ההוכחה‪.‬‬

‫ביסוס‪ :‬נכתוב משמאל את מספר השורה עצמה‪.‬‬

‫)‪Modus Ponendo Ponens (MPP‬‬

‫בהינתן ‪ ‬ו‪ ⌝α → β⌜-‬ניתן להסיק ‪.‬‬

‫ביסוס‪  :‬מבוססת על ההנחות עליהן ‪ ‬ו⌜‪ ⌝α → β‬מבוססות‪.‬‬

‫)‪Modus Tolendo Tolens (MTT‬‬

‫בהינתן ⌜~‪ ⌝‬ו‪ ⌝α → β⌜-‬ניתן להסיק ⌜~‪.⌝α‬‬

‫ביסוס‪ ⌝α~⌜ :‬מבוססת על ההנחות עליהן ⌜~‪ ⌝‬ו⌜‪ ⌝α → β‬מבוססות‪.‬‬

‫)‪Double Negation (DN‬‬

‫בהינתן ‪ ‬ניתן להסיק ⌜~~‪ ⌝α‬ולהפך‪.‬‬

‫ביסוס ‪ :‬הפסוק המוסק מבוסס על ההנחות עליהן ההנחה ממנה הוא הוסק מבוססת‪.‬‬

‫)‪Conditional Proof (CP‬‬

‫בהינתן הוכחה של ‪ ‬מ‪ -‬כהנחה ניתן להסיק ⌜‪.⌝α → β‬‬

‫ביסוס‪ ⌝α → β⌜ :‬מבוסס על ההנחות עליהן ‪ ‬מבוססת‪.‬‬

‫&‪Introduction (&I)-‬‬

‫בהינתן ‪ ‬ו‪ -‬ניתן להסיק ⌜ ‪. ⌝ α & β‬‬

‫ביסוס‪ ⌝ α & β ⌜ :‬מבוסס על ההנחות עליהן ‪ ‬ו‪ -‬מבוססות‪.‬‬

 ‫‪2‬‬

‫&‪Elimination (&E)-‬‬

‫בהינתן ⌜ ‪ ⌝ α & β‬ניתן להסיק את ‪ ‬ו‪/‬או את ‪.‬‬

‫ביסוס‪ :‬הפסוק המוסק מבוסס על ההנחות עליהן ⌜ ‪ ⌝ α & β‬מבוססת‪.‬‬

‫)‪-Introduction (I‬‬

‫בהינתן ‪ ‬ניתן להסיק ⌜ ‪ ⌝ α  β‬ו‪/‬או ⌜ ‪.⌝ β  α‬‬

‫ביסוס‪ :‬הפסוק המוסק מבוסס על ההנחות עליהן ‪ ‬מבוססת‪.‬‬

‫)‪v-Elimination (E‬‬

‫בהינתן ⌜‪ ⌝α  β‬ובהינתן הוכחה של ‪ ‬מ‪ -‬כהנחה והוכחה של ‪ ‬מ‪ -‬כהנחה ניתן להסיק את ‪( ‬שימו לב ש‪ -‬ו‪-‬‬
‫‪ ‬חייבות להיות הנחות – כלומר שהוספנו אותן באמצעות ‪.)A‬‬

‫ביסוס‪  :‬מבוססת על ההנחות עליהן ⌜‪ ⌝α  β‬מבוסס וההנחות שעליהן מבוססת ההוכחה מ‪ α-‬ל‪ γ-‬חוץ מ‪α-‬‬
‫עצמה‪ ,‬וההנחות שעליהן מבוססת ההוכחה מ‪ β-‬ל‪ γ-‬חוץ מ‪ β-‬עצמה‪.‬‬

‫)‪Reductio Ad Absurdum (RAA‬‬

‫בהינתן הוכחה של ⌜‪ ⌝β & ~β‬מ‪  -‬כהנחה ניתן להסיק את ⌜~‪.⌝α‬‬

‫ביסוס‪ ⌝α~⌜ :‬מבוססת על שאר ההנחות (שהן לא ‪ )‬עליהן ⌜‪ ⌝β & ~β‬מבוססת‪.‬‬

‫הגדרה ‪Df. ‬‬

‫⌜ )‪.⌝α  β ⌝  ⌜ (α β) & (β  α‬‬

‫ניתן לכתוב ⌝ ⌜(‪ )α ↔ β‬על בסיס ההנחות שעליהן מבוססת ⌝ ⌜(‪ )β → α( & )α → β‬ולהפך‪.‬‬