Job description
“My son is a junior in UNCG and he needs formal logic assistance. He is a cognitive psych major, so he focuses on the value of understanding the "why" and the "how" of anything he must learn. He understands all the primitive rules, but he is unable to create
a proof on his own. He has a few practice problems from the book that he would like to see done, but most importantly, he would like to know how each step came to be, the thought process behind it, intended goals, and all such details. Seeing how a proof is
done with the thought process spelled out, he could start to learn how to produce one on his own. Here are a few problems: |- = turnstile. 60. R->~P, Q, Q-> (P v ~S) |- S-> ~R. 72. ~((P<-> ~Q) <-> R), S->P & (Q&T), R v (P&S) |- S&K -> R&Q. 86. ~(P&~Q) v ~(~R&~S),
~S&~Q, T-> (~S->~R&P) |- ~T.”
- Michael from Greensboro, NC