2 TABLAS DE VERDAD- VARIANTES D ELA CONDICIONAL- LEYES DEL ALGEBRA PROPOSICIONAL.pdf

2 TABLAS DE VERDAD- VARIANTES D ELA CONDICIONAL- LEYES DEL ALGEBRA PROPOSICIONAL.pdf

1. UNIVERSIDAD NACIONAL DE TRUJILLO
Curso: DESARROLLO DEL PENSAMIENTO LOGICO
MATEMATICO
Docente: Azucena ZavaletaTema:Tablas de Verdad
Esc.:Zootecnia

2. Que es una Tabla de verdad?

3. Proposiciones y Tablas de Verdad

4. La Conjunción y su Tabla de Verdad

5. La Disyunción Débil o Inclusiva

6. La Disyunción Fuerte o Exclusiva

7. La Condicional

8. El Bicondicional

9. La Negación

10. Tabla Resumen

11. Tautología,Contradicción,Contingencia.
Una “tautología” es una proposición cuya
tabla de verdad es siempre verdadera.
Una “contradicción” da siempre falso.
Una “contingencia” es una proposición que
da valores tantos falsos como verdaderos.

12. Ejemplos
Tautología
Contradicción
Contingencia

13. Ejercicios
1.Evaluar el siguiente esquema molecular:
2.Si se conoce que
3.
4.
5.

14. LA CONDICIONAL Y SUS VARIANTES
Ejemplos

15. Alternativas para enunciar la condicional

16. Que significa: “…es requisito para…”
Q P
Q P
¬ Q P
P Q
Q
Q
P
P

17. Que significa : “…sólo si…”

18. VARIANTES DEL CONDICIONAL
reciproca

19. Ejemplo 1

20. Ejemplo 2

21. Ejemplo 3

22. TABLA DE VERDAD DE UNA CONDICIONAL Y SUS VARIANTES
p q ~�~q �⟶��⟶p~�⟶~�~�⟶~q
V V F F V V V V
V F F V F V F V
F V V F V F V F
F F V V V V V V

23. LA NEGACION DE LA CONDICIONAL
p q �⟶�~(�⟶�) ~q �∧∼�
V V V F F F
V F F V V V
F V V F F F
F F V F V F
La negación de la condicional es:

24. Implicación Lógica: �??????�??????�????????????????????????�, si �⟹�es una
tautología .
Equivalencia Lógica: Dos esquemas moleculares B y C son
equivalentes si �⟺�es una tautología.
Determine si B y C son equivalentes

25. Observaciones
1.
2.

26. 3. El

27. Ejemplos de Equivalencia

28. p q r
V V V V V V V V V V
V V F V F F V V F F
V F V F VV V V V V
V F F F V F V V V V
F V V F VV V F V V
F V F F V F V F V F
F F V F VV V F V V
F F F F VF V F V V
Resolvemos el ejemplo a)

29. LEYES DEL ALGEBRA PROPOSICIONAL (Equivalencias Notables)
Idempotencia
Idempotencia
Tercio excluido
Tercio excluido
Identidad
Identidad