New posts in logic-translation

What are the rules for the use of dots rather than parentheses in logical formulae?

logic propositional-calculus predicate-logic logic-translation

double negation to statements contain several quantifiers

logic quantifiers logic-translation

I need help understanding the concept of "at most one " using quantifers

discrete-mathematics logic logic-translation

negating nested generalized quantifiers

logic quantifiers logic-translation

Why is "A only if B" equivalent to "(not A) or B"? [duplicate]

logic propositional-calculus logic-translation

Equivalence of weak induction

discrete-mathematics logic induction first-order-logic logic-translation

Does "either" make an exclusive or?

logic logic-translation

Symbolize the following sentences with the given symbolization key

logic predicate-logic quantifiers logic-translation

How to convert numerical claims to first order logic?

logic first-order-logic predicate-logic quantifiers logic-translation

The translations of "unless" and "except" into symbolic logic.

logic logic-translation