אז הסיבה למוסכמה 'שקר מרמז על אמת היא אמת' היא ש- זה עושה הצהרות כמו x<10→x<100 נכון עבור כל הערכים של x, כפי שניתן לצפות אתה רוצה "החיים האמיתיים", אה? אם השוטר יראה אותך נוסע במהירות מופרזת, אז תצטרך לשלם קנס. זה נכון.
למה p מרמז על q נכון כאשר p הוא שקר?
המשמעות p → q (קרא: p מרמזת על q, או אם p אז q) היא ההצהרה הקובעת שאם p נכון, אז גם q נכון. אנו מסכימים ש p → q נכון כאשר p הוא שקר ההצהרה p נקראת השערת ההשלכה, והמשפט q נקרא מסקנת ההשלכה.
האם שני שקרים עושים אמת?
לא. ההיגיון הפורמלי (היגיון תקף) מבטיח רק שמאמירות אמיתיות, לא ניתן להסיק מסקנה (הצהרה) שגויה . נימוק תקף שומר על האמת של הנחות.
האם 1 נכון או לא נכון?
אבל השפה נובעת נכון ושקר בצורה יוצאת דופן. בעיקרון אין ערך בוליאני. המספר 0 נחשב כשקרי וכל שאר המספרים נחשבים כנכונים… … 1 נחשב נכון מכיוון שהוא לא אפס.
האם נכון ושקר נכון?
True is written: true; שקר כתוב: שקר; לא כתוב במגוון דרכים. ב-Matlab זה הטילדה (~).
