כלל היסק


כל מה שרצית לדעת על כלל היסק:
כללי היסק (באנגלית: inference rule) הם הכללים הבסיסיים ביותר בלוגיקה ובמתמטיקה, הקובעים מתי מותר לעבור מטענה אחת לטענה אחרת, כלומר להסיק או להוכיח אותה.

נלקח מויקיפדיה

הגדרות נוספות הקשורות לכלל היסק:
לוגיקה
הוכחה