Documentos de Académico
Documentos de Profesional
Documentos de Cultura
SEMANA 4 LOGICA Y ARGUMENTACION JURIDICA - PDF TABLA DE LA VERDAD PDF
SEMANA 4 LOGICA Y ARGUMENTACION JURIDICA - PDF TABLA DE LA VERDAD PDF
Escuela Profesional
Periodo académico: 2018-2
DERECHO
Semestre:VIII
Unidad:II
¡La universidad para todos!
Tabla de Verdad
Proposiciones Compuestas Básicas
¡La universidad para todos!
p q ( p v q ) ↔ (~ p → q )
V V V V V
V F V V V
F V V V V
F F F V F
¡La universidad para todos!
Cuando en el resultado final, todos
CONTRADICCIÓN los valores de verdad son
FALSEDADES
p q [ ( p q ) V q] ~q
V V V F F
V F F F V
F V F F F
F F F F V
p q ( p→ q) v ( p ↔ q)
V V V V V
V F F F F
F V V V F
F F V V V
¡La universidad para todos!
p q
V V V VV F V V V F F V
V F V FF V V V F V VF
F V F v V F F v V F F V
F F F v F F F F F F VF
CONTINGENCIA
¡La universidad para todos!
p q r
V V V
V V F
V F V
V F F
V V V
V V F
V F V
V F F
¡La universidad para todos!
Si p = V, q = V , r = F , s = V y t = F. Hallar el valores de
verdad de la siguiente proposición ( r q ) (p s )
RESOLUCIÓN
(r q ) (p s)
V V V F
V F
F
¡La universidad para todos!
RESOLUCIÓN
[ ( p q) (q r)] V (p) ≡ F
V (q) ≡ F
V (r) ≡ V
F F F
F V V
V V
V
¡La universidad para todos!
Sean
p: 3 3;
q: 05 = 1;
r: 6 4 2 9.
¿Cómo se juega?
Dadas una serie de premisas p1,p2,….pn en donde “n” es
un entero positivo y q es la conclusión
El argumento será válido si cada vez que las premisas
sean verdaderas, entonces q también lo es.
Esto sería equivalente a probar que el condicional:
(p1 p2 ……. pn) q es verdadero
Con el antecedente (p1 p2 ……. pn ) verdadero.
¡La universidad para todos!
Veamos un ejemplo:
Dado el siguiente argumento, verificar si es o no válido
Premisa 1 :Si llego a tiempo entonces participo en el
juego
Premisa 2 : Llego a tiempo
Conclusión: Participo en el juego
Este argumento con sus premisas y su conclusión lo
podemos simbolizar como sigue:
p1: p r
p2: p
r
El símbolo se lee por tanto y se ubica antes de la
conclusión.
¡La universidad para todos!
p1 p2 p3 (p1 p2 p3 ) q
p q r pr ~q p ~r ((p r) (~q p) ~r ) q
V V V V V F V
V V F F V V V
V F V V V F V
V F F F V V V
F V V V V F V
F F V V F F V
F V F V V V V
F F F V F V V
Observemos
¡Gracias!