Indirect Method of Proof Examples || Lesson 28 || Discrete Math & Graph Theory ||
auf dem Kanal: Wisdomers - Computer Science and Engineering
Indirect Method of Proof Examples
In this class, We discuss the Indirect Method of Proof Examples.
The reader should have prior knowledge of Showing Valid Inference Examples 1. Click here.
Indirect method of proof:
Show that r follows from the set of premises p -gt q, q -gt r, ¬(p ∧ r), (p ∨ r).
In the indirect method, we assume the conclusion is false.
So, negate the conclusion to make it true.
Add the negation of the conclusion to the premises, and we show false from the premises and added conclusion.
When we show false meaning, our assumption that the conclusion is false is wrong.
So, the conclusion is true.
We need to show false from the premises p -gt q, q -gt r, ¬(p ∧ r), (p ∨ r), and ¬r.
The below diagram shows the derivation.
Link for playlists:
/ @wisdomerscse
Link for our website: https://learningmonkey.in
Follow us on Facebook @ / learningmonkey
Follow us on Instagram @ / learningmonkey1
Follow us on Twitter @ / _learningmonkey
Mail us @ [email protected]
Auf dieser Seite können Sie das Online-Video Indirect Method of Proof Examples || Lesson 28 || Discrete Math & Graph Theory || mit der Dauer stunde minuten sekunde in guter Qualität ansehen, das der Benutzer Wisdomers - Computer Science and Engineering 20 September 2023 hochgeladen hat, den Link mit Freunden und Bekannten teilen, dieses Video wurde auf Youtube bereits 3,623 Mal angesehen und es wurde von 28 den Zuschauern gefallen. Viel Spaß beim Betrachtenden Zuschauern gefallen!
