ასე რომ, კონვენციის მიზეზი "false implanes true is true" არის ის, რომ ის აკეთებს განცხადებებს, როგორიცაა x<10→x<100 ჭეშმარიტი x-ის ყველა მნიშვნელობისთვის, როგორც მოსალოდნელია გსურთ "რეალური ცხოვრება", არა? თუ პოლიციელი დაგინახავს სიჩქარის გადაჭარბებას, მაშინ მოგიწევს ჯარიმის გადახდა. ეს მართალია.
რატომ არის p გულისხმობს q მართალია, როდესაც p მცდარია?
იმპლიკაცია p → q (წაიკითხეთ: p გულისხმობს q, ან თუ p მაშინ q) არის განცხადება, რომელიც ამტკიცებს, რომ თუ p მართალია, მაშინ q ასევე მართალია. ჩვენ ვეთანხმებით, რომ p → q მართალია, როდესაც p არის მცდარი დებულებას p ეწოდება იმპლიკაციის ჰიპოთეზა, ხოლო დებულებას q ეწოდება იმპლიკაციების დასკვნას.
ორი მცდარი აქცევს ჭეშმარიტს?
არა. ფორმალური ლოგიკა (მართებული მსჯელობა) იძლევა მხოლოდ იმის გარანტიას, რომ ჭეშმარიტი განცხადებებიდან მცდარი დასკვნა (განცხადება) არ შეიძლება გამოიტანოს. სწორი მსჯელობა ინარჩუნებს წინაპირობების ჭეშმარიტებას.
1 მართალია მცდარი?
მაგრამ ენა წარმოშობს ჭეშმარიტსა და ყალბს უჩვეულო გზით. ძირითადად არ არსებობს ლოგიკური მნიშვნელობა. რიცხვი 0 ითვლება მცდარად და ყველა სხვა რიცხვი ითვლება ჭეშმარიტად…. … 1 ითვლება ჭეშმარიტად, რადგან ის არ არის ნული.
მართალი და მცდარი სიმართლეა?
მართალი იწერება: მართალია; მცდარი იწერება: მცდარი; არა იწერება სხვადასხვა გზით. Matlab-ში ეს არის ტილდი (~).
