לוגיקה/מבוא לתחשיב הפסוקים: הבדלים בין גרסאות בדף

לרוב בלוגיקה ננסה לכתוב רעיונות בניסוח פורמלי לצו, ולצורך כך נכתוב את המשפט בסימנים מתמטיים. לדוגמא, אם אני קורא לפסוק "השמים כחולים" באות <math>A</math> (פסוקים לרוב מסומנים באותיות גדולות) ואת הפסוק "2+3=6" ב- <math>B</math> , לרוב נכתוב את הפסוק "השמים כחולים או 2+3=6" בדרך הבאה: <math>A\lor B</math> כאשר <math>\lor</math> הוא הסימון המתמטי ל-"או". במידה והמשפט כולל צירוף של שני תנאים למשל: השמים כחולים וגם השמש זורחת. נסמן את הפסוק הראשון "השמים כחולים ב -<math>A</math> ואת הפסוק "השמש זורחת ב-<math>B</math> ונכתוב <math>A\land B</math> הסימן <math>\land</math> הוא הסימון של "וגם".