To login with Google, please enable popups
or
Don’t have an account? Sign up
To signup with Google, please enable popups
or
Sign up with Google or Facebook
or
By signing up I agree to StudyBlue's
Terms of Use and Privacy Policy
Already have an account? Log in
Double Negation
Permits introduction and elimination of pairs of tildes
p : : ~~p
Double Negation
p : : ~~p
Permits introduction and elimination of redundant disjuncts and conjuncts
p : : p v p
p : : p * p
Duplication
p : : p v p
p : : p *p
Permits inverting of conjuncts, disjuncts
p v q : : q v p
p * q : : q * p
Commutation
p v q : : q v p
p * q : : q * p
Sign up for free and study better.
Anytime, anywhere.
Get started today!