עקרונות הבסיס של הוכחה

משימה 1 -

איזו חיה עדיפה, חתול או כלב?

דיבייט.

הצבעה.

שני הצדדים מציעים לדעתם הסבר הגיוני, אבל מגיעים למסקנה אחרת. אם הלוגיקה אמורה לאפשר לאנשים להגיע לאותן מסקנות כדי לאפשר הסכמה, אז איפה הבעיה?

בשביל זה צריך להבין מבנה בסיסי של הוכחה לוגית :

שימה 2 - לכתוב הוראות להגיע מנקודה 1 לנקודה 2.

אקסיומה - נקודת ההתחלה

טיעון - כל הוראה

טענה - כלל ההוראות

היסק - לאן שהגענו

וכאן נכנסת חשיבות ההסכמה על האקסיומות.