მათემატიკაში, დამტკიცება კონტრაპოზიტივით, ან მტკიცება კონტრაპოზიციით, არის დასკვნის წესი, რომელიც გამოიყენება მტკიცებულებებში, სადაც პირობითი დებულება გამოიტანება მისი კონტრადადებითიდან. სხვა სიტყვებით რომ ვთქვათ, დასკვნა "თუ A, მაშინ B" გამოტანილია მტკიცების "თუ არა B, მაშინ არა A" მტკიცების აგებით..
როგორ წერთ მტკიცებულებას წინააღმდეგობით?
ჩვენ მივყვებით ამ ნაბიჯებს წინააღმდეგობრივი მტკიცებულების გამოყენებისას:
- ჩავთვალოთ, რომ თქვენი განცხადება მცდარია.
- გააგრძელეთ ისე, როგორც ამას გააკეთებდით პირდაპირი დადასტურებით.
- შეგხვდათ წინააღმდეგობა.
- განაცხადეთ, რომ წინააღმდეგობის გამო, არ შეიძლება, რომ განცხადება მცდარია, ამიტომ ის უნდა იყოს ჭეშმარიტი.
როგორ ამტკიცებთ მინიშნებას?
პირდაპირი მტკიცებულება
- თქვენ ამტკიცებთ p q მნიშვნელობას იმით, რომ დაშვებით p არის ჭეშმარიტი და გამოყენებით თქვენი ცოდნისა და ლოგიკის წესების დასამტკიცებლად q სიმართლეა.
- დაშვება ``p არის ჭეშმარიტი'' არის პირველი რგოლი დებულებათა ლოგიკური ჯაჭვის, თითოეული გულისხმობს მის მემკვიდრეს, რომელიც მთავრდება ``q არის ჭეშმარიტი''.
რა არის იმპლიაციის მაგალითი?
იმპლიკაციის განმარტება არის ის, რაც დასკვნაა. იმპლიკაციის მაგალითია პოლიციელი, რომელიც აკავშირებს ადამიანს დანაშაულთან, მიუხედავად იმისა, რომ არ არსებობს მტკიცებულება. ნაგულისხმევი აქტი ან ნაგულისხმევი პირობა.
რა არის სამი გზა იმის დასამტკიცებლად, თუ A არის B?
არსებობს სამი გზა, რათა დაამტკიცოთ ფორმის განცხადება "თუ A, მაშინ B". მათ უწოდებენ პირდაპირი მტკიცებულება, საწინააღმდეგო დადებითი მტკიცებულება და მტკიცება წინააღმდეგობით. პირდაპირი მტკიცებულება. იმის დასამტკიცებლად, რომ დებულება „თუ A, მაშინ B“არის ჭეშმარიტი პირდაპირი დადასტურების საშუალებით, დაიწყეთ იმით, რომ A არის ჭეშმარიტი და გამოიყენეთ ეს ინფორმაცია, რომ დაასკვნოთ, რომ B არის ჭეშმარიტი.
