Answer to Question #348331 in Discrete Mathematics for maryum

Discrete Mathematics

Question #348331

Show that ¬(¬p) and p are logically equivalent.

Expert's answer

Let's build a truth table:

Since, with the same sets of variables, the formulas take on the same truth value, they are logically equivalent.

Q.E.D.

Learn more about our help with Assignments: Discrete Math

Comments

No comments. Be the first!

Leave a comment

Related Questions

1. Choose the best answer: ANTI SYMMETRIC, TRANSITIVE RELATION, SYMMETRIC RELATION, REFLEXIVE RELATION1
2. A survey of 100 college students revealed the following information about their enrolment in Mathema
3. Create a set that is presented in a set builder notation form.
4. Draw the composite table for the operation * defined by x*y = x, for every x , y ϵ S = {a, b, c, d}
5. Use a truth table to determine whether the given statement is a tautology or self-contradiction.1.
6. (p ∧ r ∧ t) ↔ (q ∧ t)
7. The set S consists of all integers from 1 to 2007 inclusive. For how many elements n in S is f(n)=2n