Practica de Logica /Capitulo V, resueltos por AIC

CAPITULO V ******* Resueltos por Alexandra Ivonne Chen ******

EJEMPLOS EN PRACTICA ** JUNIO27,2021***

Si el testigo dice la verdad entonces Pepe estaba en su casa antes del medio día;

Pero si Pepe paso el día en el club entonces no estaba en su casa antes del mediodía.

Pepe paso el día en el club. Por lo tanto, el testigo no dice la verdad.

Formalización:

A: Si el testigo dice la verdad

B: Pepe estaba en su casa antes del medio día;

C: Pepe paso el día en el club

Reducción:

A

→

B

,

C

→

¬B

,

C

⊨

¬A

[(A

→

B)

∧

(C

→

¬B)

∧

C]

→

¬A

1.

¬[(A

→

B)

∧

(C

→

¬B)

∧

C]

→

¬A

supuesto

2.

¬[(A

→

B)

∧

(C

→

¬B)

∧

C]

F.I.1

3.

¬¬A

F.I.1

4.

A

DN 3

5.

A

→

B

VC 2

6.

C

→

¬B

∧

C

VC 2

7

C

→

¬B

VC 6

8.

C

VD 6

9.

10.

¬A

B

VC 5

X

VC 5

11.

12.

¬C

¬B

X

VC 7

X

VC 7

VALIDO