לוגיקה: הבדלים בין גרסאות בדף

==תוכן העניינים==

*[[/מבוא לתחשיב הפסוקים/]]

*[[/ערכי אמת, טאוטולוגיות וסתירות/]]

*[[תורת ההיסק בתחשיב הפסוקים/]]

*[[תורת ההיסק בתחשיב היחסים (פרדיקטים)/]]

*[[/הרחבה וסיכום/]]

 

== תחשיב פסוקים ==