סימונים בלוגיקה
למה יש שוני בסימונים בין קידום לאנקורי בלוגיקה פורמאלית בטענות ישיות? ולמי לדעתכם האישית יותר מהירה? למי שלא יודע בספר של אנקורי מצרינים את הטענות הישיות: יש א' שהוא ב' ככה: א' \/ || /\ ב' (למי שלא הבין זה חץ אנכי דו כיווני). ובקידום מצרינים את אותה טענה כך: *(א'+ב'). רק רציתי לדעת מה דעתכם על הסימונים?
למה יש שוני בסימונים בין קידום לאנקורי בלוגיקה פורמאלית בטענות ישיות? ולמי לדעתכם האישית יותר מהירה? למי שלא יודע בספר של אנקורי מצרינים את הטענות הישיות: יש א' שהוא ב' ככה: א' \/ || /\ ב' (למי שלא הבין זה חץ אנכי דו כיווני). ובקידום מצרינים את אותה טענה כך: *(א'+ב'). רק רציתי לדעת מה דעתכם על הסימונים?