Seth M. answered 11/06/16
Tutor
5.0
(1,891)
Expert Logic Tutor: Symbolic, Formal, Propositional, Predicate, Etc.
Hi Symmeatra,
Different texts and courses use different kinds of symbols for propositional logic, but I'll get you started on a few these. Once you have that, you should be able to figure out the rest:
1) Could be symbolized as just ABC, A * B * C or similar. We are basically multiplying the truth value of each proposition.
2) Just place a !, ~ or whatever not symbol you are using in front of the answer to (1). This negates the truth value from (1)
5) (A | B | C) -> (ABC). This means that "If A or B or C is true, then all three are true."
You can probably get the rest from there. :)