Ինչու է կեղծը ենթադրում ճշմարիտ:

2024 Հեղինակ: Fiona Howard | [email protected]. Վերջին փոփոխված: 2024-01-10 06:38

Այսպիսով, «կեղծ ենթադրում է, որ ճիշտ է ճիշտ է» կոնվենցիայի պատճառն այն է, որ այն պնդում է, ինչպիսին է 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-ում դա տիլդն է (~).