Discrete Mathematics: The Resolution Principle (Proof of Theorem)
Topics discussed:
1) Proof of the below theorem:
"Given two clauses C1 and C2, a resolvant C of C1 and C2 is a logical consequence of C1 and C2."

Follow Neso Academy on Instagram: @nesoacademy(https://bit.ly/2XP63OE)
Follow me on Instagram: @jaspreetedu(https://bit.ly/2YX26E5)

Contribute: http://www.nesoacademy.org/donate

Memberships: https://bit.ly/2U7YSPI

Books: http://www.nesoacademy.org/recommended-books

Website ► http://www.nesoacademy.org/
Forum ► http://forum.nesoacademy.org/
Facebook ► https://goo.gl/Nt0PmB
Twitter ► https://twitter.com/nesoacademy

Music:
Axol x Alex Skrindo - You [NCS Release]

#DiscreteMathematicsByNeso #DiscreteMaths #ResolutionPrinciple