Մաթեմատիկայում ապացույցը հակադրականով կամ ապացույցը հակադրությամբ եզրակացության կանոն է, որն օգտագործվում է ապացույցներում, որտեղ պայմանական պնդումը ենթադրում է իր հակադրականից: Այլ կերպ ասած, «եթե A, ապա B» եզրակացությունը ենթադրվում է, փոխարենը կառուցելով «եթե ոչ B, ապա ոչ A» պահանջի ապացույցը::
Ինչպե՞ս եք գրում ապացույցը հակասության միջոցով:
Մենք հետևում ենք այս քայլերին, երբ օգտագործում ենք հակասության ապացույցը
- Ենթադրենք, որ ձեր հայտարարությունը կեղծ է:
- Շարունակեք այնպես, ինչպես կվարվեք ուղղակի ապացույցով:
- Հակասություն հանդիպեք.
- Նշեք, որ հակասության պատճառով չի կարող լինել, որ պնդումը կեղծ է, ուստի այն պետք է լինի ճիշտ:
Ինչպե՞ս եք ապացուցում ենթատեքստը:
Ուղիղ ապացույց
- Դուք ապացուցում եք p q ենթատեքստը՝ ենթադրելով, որ p-ն ճշմարիտ է և օգտագործելով ձեր նախնական գիտելիքները և տրամաբանության կանոնները՝ ապացուցելու համար q-ի ճշմարտացիությունը:
- Ենթադրությունը «p-ը ճշմարիտ է» պնդումների տրամաբանական շղթայի առաջին օղակն է, որոնցից յուրաքանչյուրը ենթադրում է իր հաջորդին, որն ավարտվում է «q-ը ճշմարիտ է»:
Ի՞նչ է ենթատեքստի օրինակը:
Ենթակայության սահմանումը մի բան է, որը ենթադրվում է: Ենթատեքստի օրինակ է ոստիկանը, որը կապում է մարդուն հանցագործության հետ, չնայած ապացույցներ չկան: Ենթարկելու ակտը կամ ենթադրյալ լինելու պայմանը։
Որո՞նք են ապացուցելու երեք եղանակները, եթե A-ն ապա B է:
Կա երեք եղանակ՝ ապացուցելու «Եթե A, ապա B» ձևի պնդումը: Դրանք կոչվում են ուղղակի ապացույց, հակադրական ապացույց և ապացույց հակասության միջոցով: ՈՒՂԻՂ Ապացույց. Ուղղակի ապացույցների միջոցով ապացուցելու համար, որ «Եթե A, ապա B» պնդումը ճշմարիտ է, սկսեք ենթադրելով A-ն ճշմարիտ և օգտագործեք այս տեղեկատվությունը ՝ եզրակացնելու, որ B-ն ճիշտ է:
