לוגיקה, או תורת ההגיון, היא ענף של הפילוסופיה והמתמטיקה העוסק בכללים בעזרתם ניתן להסיק מסקנות ולבסס טענות בהסתמך על טענות קודמות.

במקורה הייתה הלוגיקה ענף של הפילוסופיה, אולם במהלך מאתיים השנים האחרונות חלו התפתחויות רבות בתחום הלוגיקה הפורמלית שהינה כיום, בנוסף לפילוסופיה, גם ענף של המתמטיקה הנקרא לוגיקה מתמטית הלוגיקה משמשת כבסיס התאורטי המרכזי למדעי המחשב

את היסודות ללוגיקה הניח אריסטו שטען למעשה שתי טענות מרכזיות, עליהן מבוססת הלוגיקה הקלאסית (או הלוגיקה הדו-ערכית):
א. כלל הסתירה: ביטוי שטוען טענה והיפוכה הינו בהכרח שקרי (לדוגמה: "דני אוהב ללכת לבית הספר וגם דני לא אוהב ללכת לבית הספר"). במילים אחרות, לא יכול להיות שטענה מסוימת תהיה גם נכונה וגם לא נכונה בו זמנית.
ב. כלל השלישי מן הנמנע: כל טענה היא בהכרח אמיתית או שקרית, ואין אפשרות שלישית. לא תיתכן טענה שאינה אמת ואינה שקר, ולכן ביטוי כגון "או שדני אוהב ללכת לבית הספר או שדני לא אוהב ללכת לבית הספר" יהיה בהכרח נכון (משום שאחד החלקים של המשפט חייב להתקיים).

לוגיקה או תורת ההיגיון

זאתמרת שמשפט שהצגת לא יכול להיות גם אמת וגם שקר בו זמנית!

דעתך כמובן יכולה להישתנות אבל בו זמנית זה לא יכול להיות..

האמת לא הבנתי הרבה חוץ מי זה,אבל אני אשמח אם תכתבו מה אתם יודעים על זה..

כיף ללמוד דברים חדשים..P:

אתמול מור ושיר היו אצלי ראינו קלינר זה אחלה סרט!

מור נרדמה בו,משעשע..

שלשום נפגשנו היה ממש כיף!!בקרוב שאני אדע איך לעלות סרטון תראו כמה כיף היה!

מישו יודע איך?

אז בבקשה...

וזהו...בקרוב ביה"ס ברוך השם!!

תגיבו..