Hello Everybody,
I am currently working my way through the Logic Games section. I've taken multiple symbolic logic courses in University and learned all about logical operators, such as ampersand (conjunctions), wedge (disjunction), horseshoe/arrow (conditional) and triple bar (biconditional).
I keep trying to translate the given sentences with the common logical operators used in symbolic logic, but the 7Sage program seems to only use conditionals to translate every sentence...
One example that stood out to me is: "Neither ... nor". In symbolic logic that normally translates to either (~A & ~B ) or into ~(A v B ), according to the DeMorgan's laws. However, 7Sage suggests the translation: A -> ~B C -> ~B
Can someone explain to why we aren't using the other logical operators? It is distinctly possible that I am missing something or misunderstood something, so I would appreciate any help!
Johanna
Would love to join! PTing around 168 currently.