Implement Predicate Logic #5
Description
hmm, for fun.
∧ for conjunction, ∨ for disjunction, → for implication, ↔ for biconditional, ¬ for negation
{{ message }}
hmm, for fun.
∧ for conjunction, ∨ for disjunction, → for implication, ↔ for biconditional, ¬ for negation