posted on: 2/26/13
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.
Over the last seven years we’ve built the largest and most trusted tutoring marketplace on the web. With a new student lead posted every minute, WyzAnt eliminates the need to be listed on multiple sites.
WyzAnt’s average commission is just 25% compared to the 60-80% that traditional tutoring companies and franchises take. Sign up for free and set your own rate and schedule!
You don’t have to worry about marketing, collecting payment, or unqualified leads on WyzAnt. We take care of all the details so you can focus on tutoring!