על ידי ארי גרינשפון » ו' אוקטובר 07, 2011 9:13 pm
orzamir90 שלום,
המשפט שרשמת הוא טענה אחת שיכולה להיות נכונה או לא נכונה, אבל זה לא מספיק כדי שהמשפט הזה יהיה פסוק לוגי מכיוון שחסרה תבנית של טענות שקשורות אחת לשנייה באיזשהו אופן, שממנה התקבלה המסקנה שהיא הפסוק הלוגי.
את המסקנה אפשר לקבל בהרבה דרכים למשל אפשר להגיע למסקנה מורכבת בעזרת צירוף של אמיתותן או אי אמיתותן של טענות פשוטות שמופיעות בתבנית או בעזרת אינדוקציה שהיא מקשרת מהפרט אל הכלל או בעזרת דדוקציה שהיא מקשרת מהכלל אל הפרט ויש עוד דרכים.
דוגמה לתבנית כזאת שהיא פסוק לוגי יכולה להיות למשל : "כל א' הוא ב' וכל ב' הוא ג' ולכן כל א' הוא ג' "
ארי גרינשפון