Más ejercicios de lógica

1 EC, ID, DN, IC	-1 (s -> t) & (r & t) I- (s -> t) & r
2 EC, ID, DN, IC	-1 (p & q) & (r & s) I- p & r
3 EC, ID, DN, IC	-1 (p -> q) & ¬¬ (r v q) I- (p -> q) & ( r v s)
4 EC, ID, DN, IC	-1 p & (q & r) I- (p & q) & r
5 MP	-1. t -> q -2. s v r -> v -3. v & q -> p -4. t & s I- p
6 IB	-1. p v q -> (q -> p & q) -2. r & (p & q -> q) -3. ¬¬p I- q <-> p & q
7 IB	-1. p & ¬¬(q -> r) -2. r -> q I- q <-> r
8 EB	-1. p <-> q -2. r <-> (p & q) -3. ¬¬p I- r v s
9 EB	-1. p <-> t -2. ¬s <-> t -3. ¬¬ (t -> ¬s) <-> ¬¬q -4. p I- p & q
10 IN	-1 p & q -> r -2 r -> s -3 q & ¬s I- ¬p
11 IN	-1 q & (r <-> q) -2 ¬ r -> p I- ¬ r
12 IC	-1 t -> q -2 w -> r -3 r & q -> p I- t & w -> p
13 IC	-1 p -> r -2 ¬ (q -> r) I- ¬ (q -> p)
14 IC	-1 p -> (q -> r) -2 s -> p & q I- ¬¬s -> r
15 IC	-1 p & q -> r I- p -> (q -> r)
16 ED (144)	- 1 ¬q -> r - 2 t -> ¬ q - 3 ¬ s -> ¬ q I-t v ¬s -> r
17 ED	-1 p -> q -2 r -> p -3 t -> r -4 s -> r -5 t v s I- q v ¬w
18 ED	-1 p & (q v r) I- (p & q) v (p & r)
19 ED	-1 (p v q) v r I- p v (q v r)
20 REGLAS BÁSICAS	-1 q -> ¬p -2 r -> q -3 r I- ¬p
21 REGLAS BÁSICAS	-1 ¬ p -> ¬ q -2 s v ¬q -> ¬¬ r -3 ¬p I- r
22 REGLAS BÁSICAS	-1 p <-> ¬¬ (q & r) -2 q & (r -> s) -3 p I- s
23 REGLAS BÁSICAS	-1 ¬p <-> q -2 s v t -> ¬p -3 ¬¬ s I- q v r
24 REGLAS BÁSICAS	-1 p -2 p -> ¬ q -3 p & ¬q -> ¬¬s -4 s -> ¬¬ t I- t
25 REGLAS BÁSICAS	-1 p -2 p -> q -3 ¬¬( q -> ¬ s) I- ¬s
26 REGLAS DERIVADAS	-1 p -> q I- ¬q -> ¬p
27 REGLAS DERIVADAS	-1 ¬ p -> ¬q -2 q I- p
28 REGLAS DERIVADAS	-1 q & r -> ¬s -2 s I- ¬q v ¬r
29 REGLAS DERIVADAS	-1 p -> q & r -2 ¬ q v ¬ r I- ¬p
30 REGLAS DERIVADAS	-1 p v q -> r -2 ¬ r I- ¬q
31 REGLAS DERIVADAS	-1 ¬ p -2 q -> p -3 ¬q -> r I- r v s
32 REGLAS DERIVADAS	-1 p v q -2 q -> t -3 ¬ t I- p
33 REGLAS DERIVADAS	-1 ¬r v ¬q -2 t v s -> r -3 q v ¬s -4 ¬t I- ¬(t v s)
34 REGLAS DERIVADAS	-1 p v q -2 t -> ¬p -3 ¬(q v r) I- ¬t
35 REGLAS DERIVADAS	-1 p -> ¬s -2 s v ¬r -3 ¬ (t v ¬r) I- ¬p
36 REGLAS DERIVADAS	-1 p -> q v r -2 q -> ¬p -3 s -> ¬r I- p -> ¬s
37 IC	-1 p v ¬s -2 ¬r -> s I- ¬p -> r
38 IC	-1 ¬(r & s) -2 q -> s I- r -> ¬q
39 IC	-1 s -> r -2 s v p -3 p -> q -4 r -> t I- ¬q -> t
40 IC	-1 ¬s <-> t & p -2 r -> ¬ s I- r-> t
41 IC	-1 s & (¬p v t) -2 t -> q v r I- p -> (¬q -> r)
42 IC	-1 p -> q -2 q -> r -3 r -> s v t I- ¬s & ¬t -> ¬p
43 IC	-1 p v q -> (r v s -> t) I- p -> (r -> t)