conjunction
p→q
q→r
-----
∴?
Give this one a try later!
p→q
q→r
, -----
∴p→r
bound variable
Give this one a try later!
variable that's bound to a quantifier (∀/∃)
addition
p
-----
∴?
Give this one a try later!
p
-----
∴p∨q
associative law
(p∨q)∨r ≡ ?
(p∧q)∧r ≡ ?
Give this one a try later!
, (p∨q)∨r ≡ p∨(q∨r)
(p∧q)∧r ≡ p∧(q∧r)
inverse of p→q
Give this one a try later!
¬p→¬q
converse of p→q
Give this one a try later!
q→p
p∧q
Give this one a try later!
conjunction
"and"
T/T=T
T/F=F
F/T=F
F/F=F
p→q
q→r
-----
∴?
Give this one a try later!
p→q
q→r
, -----
∴p→r
bound variable
Give this one a try later!
variable that's bound to a quantifier (∀/∃)
addition
p
-----
∴?
Give this one a try later!
p
-----
∴p∨q
associative law
(p∨q)∨r ≡ ?
(p∧q)∧r ≡ ?
Give this one a try later!
, (p∨q)∨r ≡ p∨(q∨r)
(p∧q)∧r ≡ p∧(q∧r)
inverse of p→q
Give this one a try later!
¬p→¬q
converse of p→q
Give this one a try later!
q→p
p∧q
Give this one a try later!
conjunction
"and"
T/T=T
T/F=F
F/T=F
F/F=F
