Tarea 2

1. PEQ P1RS ,
+ Q1R

④P + Q
② PIR

*P Sin e

5 Q -MPP 143

⑧ Q1R-Adi .
4 x 5 LQQD

2
. &Pe (P =
Q) , PJ Q

④ Pf(P + Q)

② P

③ PRQ

④ Q-MPP 2 + 3 LQQD
. &PEQ PER)
3 ,
+P (Q1R)

① P + Q

-P
+ R

③ P-Chipótesis temporal)

④ Q MPP -
743

⑤ R Mpp - 243

Si Q es Falsor entonces Q 11
también
8 Q1R -

Adi 4ys ↑ lo seria False-falso verdader

y
⑦ PY(Q - R) -
MPP 7 y G LQQD

4. GP-(Q =
R) ,
P= G / P8 +R

④ P+ (Q + R)

Z + R
OQ
OP
3 + Q

④ P
⑤ Q -
MPP 3 y 4

④ R-MPP 2 y S LQUD

.
5 &P + Q , RYQ , P1R) + Q

④ PTQ
② RyQ

③ PIR

④ P
SimP 3

⑨ R

* Q-MPP 14 4 LQQD

.
d + (P1Q) = p

No hay premisas No se
puede demostrar hada

19-41 Podemos comprobar la conclusión Como premisa

④(P1a) + P
② PIQ
③ P
sinp 2
④
.

③ P + P LQQD Verdudes implica verdader Verdadero

7. 8(P + R/1(Q R19 + + (P1Q) - R

④(P + 12)1(QYR)
② P + R

③ Q+ R
* En la conclusión P y Q deben ser verdaderos
,

Por lo tanto

④ P
A partir de la hipótesis de la
y
⑨ Q conclusión

Y por consecuencia

⑤ R MPP 2 4 3x5
-

+ ·

⑦ PRQ-Adi 4 /S AsiMismor PSenFalsoVerdadera

-
⑧ (P 10) + R MPP 7 y 0 LQQD

.
8
[RTRB + (P + Q) +
/P+ R)

④ Q+ R

Aqu notenemospremisa Desenlaconclusión tenemos PVOa pri

② Si PTQ , entonces :

③ P+ R -

SH 1 + 2

I
④ P-Hipótesis temporal * TP HT -

⑨(P + Q) Y (P+ R) MPP 1 3

Y 4 ⑨ (TP + a) + (P + R) MPP 4 . 3 x4
Falsy >
- Falso = Verdade

Todos los casos son Verdaderos, por lo tanto LQQD

9
. P + 0
-
R+ S + (P1R)y(k1s)

④ P + Q

-
& R +S

③ LPVQEPTQ

④ TRVS = RTS

⑨ GPva/1(R1S)
TR
PXTR
③ P-Hipitesis ③ P-Hipitesis

& R-Hipótesis & TR-Hipótesis

⑤ Q MPP-Dy Q MPP-Dy

④ SMPP - S MTT -

&y

⑦ P1R-Adi . P1TR-Adi By .

⑧ Q 15-Adi Q 175-Adi y

④ (PR)-, (G1S) (P1TR/v(k1 TS)

↳ Los
esto
dos

es
so verduaros .
cierto
L Falso Fals y =
Verdudere

Analizando los casos, todos llegan a una conclusión Verdadera

-
Ya que al hegar Po Q la implicación del lado :Zaviedo

Sera Falsa y arosaa sceepre Verdadero

Por lo tanto LQQD

10 .

YPVQ TQURG /
+ PVR

④ PVQ
② TQVR

P Q Q y R P y R
y

③ P ③Q O
3 P

④ Q ④R ④ R

③ PVR-Adicion E PVR Abición & PVR Adicion

Todos los resultados son verdaderos

, por lo tanto LQQD