Você está na página 1de 5

APOYO ESTUDIANTIL FRENCH

-10 AÑOS-

FORMANDO PROFESIONALES

Ejercicios Método Demostrativo (parte 2)

Justificar los pasos de cada demostración, utilizando Reglas y Leyes Lógicas:

a)

1 � ⊃ (� ∧ ∼�)

2 (� ∨ �) ⊃ �

3 � /∴ �

4 � ∧ ∼�

5�

6�∨ �

7�

b)

1�⊃ �

2 � ∨ (� ∨ ∼�)

3 ∼� /∴ ∼� ∧ ∼�

4 ∼�

5 � ∨ ∼�

6 ∼�

7 ∼� ∧ ∼�
c)

1 � ⊃ (� ∧ �)

2 ∼� ⊃ [(� ⊃ �) ∧ (� ⊃ �)]

3 (� ∧ �) ∨ [(∼� ⊃ �) ∧ (∼� ⊃ �)]

4 ∼(� ∧ �) ∧ ∼(� ∧ �) /∴ � ∨ �

5 ∼(� ∧ �)

6 ∼�

7 (� ⊃ �) ∧ (� ⊃ �)

8�⊃ �

9 (∼� ⊃ �) ∧ (∼� ⊃ �)

10 ∼� ⊃ �

11 �

12 �

13 � ∨ �

d)

1 (∼� ∨ �) ⊃ (� ⊃ �)

2 (∼� ∧ ∼�) ⊃ (� ⊃ �)

3 (� ⊃ �) ∧ (� ⊃ �)

4 (∼� ∧ ∼�) ∧ ∼� /∴ � ⊃ �

5 ∼� ∧ ∼�

6�⊃ �

7 ∼�

8�⊃ �
9 ∼�

10 ∼� ∨ �

11 � ⊃ �

12 � ⊃ �

e)

1 (� ∨ �) ⊃ (� ∨ �)

2 ((� ∨ �) ∨ �) ⊃ (� ∨ �)

3 (� ∨ �) ⊃ ∼�

4 � ⊃ ∼�

5 � /∴ �

6�∨ �

7�∨ �

8 (� ∨ �) ∨ �

9�∨ �

10 ∼�

11 �

12 ∼�

13 �

f)

1 � ∧ � /∴ �

2�∧ �

3�
g)

1 (� ⊃ ∼� ) ∧ (� ⊃ �)

2�⊃ �

3 ∼� ⊃ � /∴ �

4 ∼� ∨ �

5 � ∨ ∼�

6 (� ⊃ ∼� ) ∧ (∼� ⊃ ∼� )

7 ∼� ∨ ∼�

8 ∼�

9 ∼∼�

10 �

h)

1 � ⊃ (� ⊃ ∼�)

2 � ≡ � /∴ ∼� ∧ ∼�

3 � ⊃ (∼∼� ⊃ ∼�)

4 � ⊃ (� ⊃ ∼�)

5 (� ∧ �) ⊃ ∼�

6 � ⊃ ∼�

7 ∼� ∨ ∼�

8 ∼(� ∧ �)

9 (� ∧ �) ∨ (∼� ∧ ∼�)

10 ∼� ∧ ∼�
i)

1 � ⊃ � /∴ (� ∧ � ) ⊃ 0

2 ∼� ∨ �

3 (∼� ∨ �) ∨ ∼�

4 ∼� ∨ (∼� ∨ �)

5 (∼� ∨ ∼�) ∨ �

6 ∼(� ∧ �) ∨ O

7 ∼(� ∧ � ) ∨ �

8 (� ∧ � ) ⊃ O

Nueva Ley Lógica: Tautología (o Idempotencia)

“Todo enunciado es idéntico a sí mismo,se implica a sí mismo, y posee, por tanto, el mismo valor
de verdad ; por lo cual, dado un condicional, una disyunción inclusiva o una conjunción cuyas dos
letras o variables proposicionales sean la misma, esto equivale a afirmar una sola vez dicha letra,
(eliminando la conectiva y la repetición de la variable)”

En símbolos: (A V A)  A

(A . A)  A

(A  A)  A

En esta última enunciación, equivale también al Principio de Identidad (véase material Reglas y
Leyes Lógicas)

Você também pode gostar