Has anyone here taken a symbolic logic class?
I'm in one now and I must say, I've become a bit of a nerd for it. If anyone has taken one, describe the syntax you used, e.g. connectives such as conjunctions, disjunctions, conditionals, bi-conditionals, etc. Also, what rules of inference did you...