CP is exteremely simple (as anything in this magical perfect super cool Propositonal Logic stuff), and it means: to divide & to prove, i.e. take disjuncively separated propositions and proof each directly; if each conclusion of each separated one beats the same in the resulted one, the job is done.
CP is exteremely simple (as anything in this magical perfect super cool Propositonal Logic stuff), and it means: to divide & to prove, i.e. take disjuncively separated propositions and proof each directly; if each conclusion of each separated one beats the same in the resulted one, the job is done.
By the way, Happy New Year! More subscribers to this channel, and all the best! 🤍💚
Thanks, and happy New Year to you also!