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