Այսպիսով, «կեղծ ենթադրում է, որ ճիշտ է ճիշտ է» կոնվենցիայի պատճառն այն է, որ այն պնդում է, ինչպիսին է x<10→x<100 ճիշտ x-ի բոլոր արժեքների համար, ինչպես կարելի է ակնկալել Դուք ցանկանում եք: «իրական կյանք», հա՞։ Եթե ոստիկանը տեսնի, որ դուք արագ եք գերազանցում, ուրեմն պետք է տուգանք վճարեք։ Սա ճիշտ է։
Ինչու է p-ն ենթադրում q ճիշտ, երբ p-ն սխալ է:
Արդյունքը p → q (կարդացեք՝ p-ն նշանակում է q, կամ եթե p-ն, ապա q) այն դրույթն է, որը պնդում է, որ եթե p-ն ճշմարիտ է, ապա q-ն նույնպես ճշմարիտ է: Մենք համաձայն ենք, որ p → q ճշմարիտ է, երբ p-ն սխալ է Պ պնդումը կոչվում է ենթատեքստի վարկած, իսկ q պնդումը կոչվում է ենթադրության եզրակացություն:
Երկու սուտը ճշմարի՞տ են դարձնում:
Ոչ. Ֆորմալ տրամաբանությունը (վավեր հիմնավորումը) երաշխավորում է միայն, որ ճշմարիտ պնդումներից կեղծ եզրակացություն (հայտարարություն) չի կարելի եզրակացնել: Վավեր պատճառաբանությունը պահպանում է նախադրյալների ճշմարտացիությունը:
1-ը ճի՞շտ է կեղծի հետ:
ԲԱՅՑ լեզուն արտասովոր ձևով է բխում ճշմարիտն ու կեղծը: Հիմնականում բուլյան արժեք չկա: 0 թիվը համարվում է կեղծ, իսկ մնացած բոլոր թվերը՝ ճշմարիտ… … 1 համարվում է ճշմարիտ, քանի որ այն ոչ զրոյական է:
Ճի՞շտ է, թե՞ կեղծ:
Ճիշտ է գրված՝ ճշմարիտ; Սխալ է գրված՝ կեղծ; Not-ը գրված է տարբեր ձևերով: Matlab-ում դա տիլդն է (~).
