Demostrar: ¬N
(1) R →¬S
(2)R
(3) ¬S -Q
(4) Q → ¬N
Demostrar: Q
(1)¬R →S
(2)S → P∧Q
(3) R → T
(4)¬T
Demostrar: x ≠y
(1)x=y →y = z
(2)y=zx= w
(3)x= w y = 1
(4) y = 1
Demostrar: x > 6
(1)x > 5x = 6V x>6
(2)x ≠5 Ax<5-x>5
(3)x ≥ 5→x≠3+4
(4)x= 3 + 4 ∧x ≠6
(5)x= 3+4x ≠5​