... שחורים", "סוקרטס הוא בן תמותה") למבנים כלליים המקלים מאוד על המחקר הלוגי, למשל: "אם אין A שהם B וכמה C הם A, אזי כמה C אינם B". כך אפשר לבטא לוגיקה
בנוסחאות המזכירות
נוסחאות אלגבראיות. בלוגיקה המודרנית יותר נקבעו סימנים שונים במקום חלקי הטיעון השונים וכך צומצמה עוד יותר צורת הטיעון, למשל: < q v p פירושו "אם q או p או שניהם אז... ". במקרים אלו אנו יכולים להציב משפטי הנחות כרצונינו מבלי לשנות את תקפות הטיעון. קייות
נוסחאות וטבלאות אמת שבעזרתם נוכל לבדוק את תקפותם של טיעונים שונים. בתחום האינדוקציה הלוגיקה עוסקת בחקירת אמות מידה ביקורתיות הנחוצות להשליט משמעת בנטייתנו הטבעית להכליל ...