1 יַחַס: כלל היסק.
כלל היסק
כְּלָלֵי הֶסֵּק (באנגלית: Inference rules, או Rules of inference) הם הכללים הבסיסיים ביותר בלוגיקה ובמתמטיקה, הקובעים מתי מותר לעבור מטענה אחת לטענה אחרת, כלומר להסיק או להוכיח אותה.
חָדָשׁ!!: צעד היקש וכלל היסק · ראה עוד »