Академический Документы
Профессиональный Документы
Культура Документы
Resueltos
1 P -s c: -s ^ m
2r m
3p^ r
------------
4p simplifi. 3
5 -s M.P.P 1,4
6 (r m) ^ (m r) bicondicional 2
7r m simplifi. 6
8r simplifi. 3
9m M.P.P 7,8
10 -s ^ m Conj. 5,9
1 -s v -q c: -s ^ -m
2 -q r
3 - m ^ -r
------------
4 -r simplifi. 3
5 -q M.T.T 2,4
6 –s M.T.P 1,5
7 –m simplifi. 6
8 -s ^ -m Conj. 6,7
1 -p q c: (q ^ m) v t
2 -p ^ m
------------
3 -p simplifi. 2
4q M.P.P 1,3
5m simplifi. 2
6q^ m Conj. 4,5
7 (q ^ m) v t Adicion 6
Demostrar
1 (s v q) -r c: (n ^ t) v m
2 - (-s v –q)
3 r v –p
4 –p -(-t v –n)
------------------------------
1 (t v-p) s c: s
2 q -( - t ^ p)
3 ( q ^ r) v q
------------------------------
1 –(-p) c: q
2 p (q v t)
3 (-t v q) ^ -t
------------------------------