LPL Exercise 6.19

preview_player
Показать описание
Explanation of how to do Exercise 6.19 in LPL, Language Proof and Logic textbook.

Рекомендации по теме
Комментарии
Автор

You may not have many views, but I can assure you that all those views are from people who were stuck and especially searched up your video. You've helped almost 300 people now. Thank you

hentailover
Автор

Thank you SO MUCH! I was very confused but this was so clear. Keep up the great work.

lawsonhillmusic
Автор

This was such a good explanation, Ive been gettin so stuck on these proofs by cases with nested subproofs and such.

jacobussherman
Автор

How can you Get A or C from B and Not B using Contradiction Elim? What is being Eliminated?

alyssaminor
Автор

How would you go about proving (Av~B)->(A->B) with no premises? I'm taking intro to formal logic and we're using a different textbook which doesn't explain things well at all.

arth