Equivalencia e Implicancia

EVALUACION DE PROPOSICIONES COMPUETAS O ESQUEMAS
MOLECULARES POR TABLA DE VERDAD

La evaluación de esquemas moleculares consiste en hallar lo valores del operador
principal a partir de la validez de cada una de las proposiciones simples (variables
proposicionales).
El número de valores que se asigna a cada variable proposicional depende de la formula
2 n , donde ''n'' indica el número de proposiciones simples que existe en el esquema
molecular y 2 es una constante que indica de los valores de V o F que tiene una
proposición.
Ejemplo:
Son proposiciones moleculares:
  p ~ q   r  
 p v t 
Operador principal
De donde: n = 4 , 24 = 16 combinaciones de valores de verdad
  p  r   s  q  ~ p
TAUTOLOGIA, CONTRADICCION Y CONTINGENCIA

Un esquema molecular es tautológico cuando los valores de verdad del operador
principal son todos verdaderos
Un esquema molecular es contradictorio cuando el resultado del operador principal son
todos falsos.
Un esquema molecular es contingente (consistente) cuando en su resultado hay por lo
menos un V y un F.
EJERCICIOS DE APLICACIÓN
En una tabla determinar si las siguientes proposiciones son Tautología, Contradicción o
son contingentes
a) p   p  q   p
b)  p ~ q   r  
 q v ~ r 
c) p   q  r  
 ~  p  q    ~ p  ~ r 
d)  ~ p  q   ~ r  
 r  ~  p  ~ q 
e)  q  r    ~ p  r 
f)  ~ p  q    ~ r  ~ p  
 p  r  q 
g)  q ~ p   ~ r  ~ p 
 
h) ~  ~  p  q  ~ q  
 p  q 
Solución a) p   p  q   p
n = 2, 22  4 Combinaciones
P q
p  p  q   p
V V V V V V V
V F V F F V V
F V F F V V F
F F F F V V F
 Es una tautología
Solución b)  p ~ q   r  
 q v ~ r 
n = 3 , 23 = 8 combinaciones
P q r  p  ~ q   r  
 q v ~ r 
V V V V F F V V V V V F
V V F V F F F F V V F V
V F V V V V V V F F F F
V F F V V V V F V F V V
F V V F F F V V V V V F
F V F F F F F F V V F V
F F V F F V V V F F F F
F F F F F V F F V F V V
 Es una contingencia
Solución c) p  q  r  

 ~  p  q    ~ p  ~ r 
P q r p   q  r  
 ~  p  q    ~ p  ~ r 
V V V V V V F F V F F F F
V V F V V F F F V F F F V
V F V V V F F F V F F F F
V F F V V F F F V F F F V
F V V F V V F F V F V F F
F V F F F F F F V V V V V
F F V F F F F V F V V F F
F F F F F F F V F V V V V
 Es una contradicción
EQUIVALENCIA: Dos esquemas proposicionales (moleculares) A y B, se dice que son
equivalentes cuando unidas por el bicondicional '' 
 '' el resultado es una tautología; es
decir, que A y B, tienen los mismos valores de verdad en su operador principal y se denota por:
A  B o A  B y se lee “A es equivalente a B” o “B es equivalente a A”
Si A no es equivalente a B, se escribe: A ≢ B o A ⇎ B
Ejemplo:
Determinar si las proposiciones siguientes son equivalentes
A: “si Marco aprobó los exámenes de admisión, ingreso a la universidad”
B: ‘‘ No es el caso que Marco apruebe los exámenes de admisión y no ingrese a la universidad”
Solución
Simbólicamente, sean:
p: “Marco aprobó los exámenes de admisión”
q: “Marco ingreso a la universidad”
A: p 
q
B: ~  p ~ q 
Constituyendo la tabla de verdad n = 2 , 22 = 4 combinaciones



P q  p 
q  ~  p ~ q 
V V V V V (V F F)
V F F V F (V V V)
F V V V V (F F F)
F F V V V (F F V)
q  ~  p ~ q 
Asi A  B esto es p 
IMPLICANCIA: A implica B, cuando unidos por el condicional el resultado es una

tautología. Se simboliza por: A  B ; A implica B '' 
 ''
A  B : Se lee “A implica a B”
Si A no implica a B se simbolizara: A ⇏ B
Ejemplo: sean los esquemas moleculares que están dado por:
A:  ~ p v  ~ q 
B: ~  p  q   ~ r
Solución
P q r  ~ p  v  ~ q  
 ~  p  q   ~ r 
V V V F F F V F V F F
V V F F F F V F V V V
V F V F V V V V F V F
V F F F V V V V F V V
F V V V V F V V F V F
F V F V V F V V F V V
F F V V F V V V F V F
F F F V F V V V F V V
“A implica a B”
Ejercicios:
Determinar, si A implica B o A es equivalente a B
1)
A: ~ q  p  q
B: ~ p
A: ~  q  r    p  q 
2)
B: p  r
A: ~ q   p  r 
3)
B : ~ q  ~  r  p  
A:  p  ~ q    ~ r  p   ~ q 
4)
B: ~  ~ p  q   q ~  ~ p  r 
5) Cuál de las siguientes proposiciones compuestas son equivalentes:
A:  ~ p  q    ~ r  ~ p 
B: p  r  q
C: ~ q  ~ p
ESCRIBIR SIMBÓLICAMENTE LAS SIGUIENTES PROPOSICIONES

a) “Pedro llego tarde a clases sin embargo entro al salón”
Sean:
p: Pedro llego tarde a clases
q: Pedro entro al salón
Simbólicamente: p  q
b) “Carlos compra un libro solo cuando tiene dinero”

sean:
p: Carlos compra un libro
q: Carlos tiene dinero
Simbólicamente: p 
q
c) “Iré de viaje y me divertiré, si ahorro”

d) “Cesar desaprobó el curso puesto que no estudio”
e) “Hoy día esta nublado porque quiere llover”

Equivalencia e Implicancia

Cargado por

Copyright:

Formatos disponibles

Equivalencia e Implicancia

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Equivalencia e Implicancia

Cargado por

Copyright:

Formatos disponibles

EVALUACION DE PROPOSICIONES COMPUETAS O ESQUEMAS

MOLECULARES POR TABLA DE VERDAD

Son proposiciones moleculares:

De donde: n = 4 , 24 = 16 combinaciones de valores de verdad

  p  r   s  q  ~ p

TAUTOLOGIA, CONTRADICCION Y CONTINGENCIA

Solución a) p   p  q   p

Solución c) p  q  r  

Determinar si las proposiciones siguientes son equivalentes

A: “si Marco aprobó los exámenes de admisión, ingreso a la universidad”

B: ‘‘ No es el caso que Marco apruebe los exámenes de admisión y no ingrese a la universidad”

p: “Marco aprobó los exámenes de admisión”

q: “Marco ingreso a la universidad”

Constituyendo la tabla de verdad n = 2 , 22 = 4 combinaciones

IMPLICANCIA: A implica B, cuando unidos por el condicional el resultado es una

Ejemplo: sean los esquemas moleculares que están dado por:

Determinar, si A implica B o A es equivalente a B

ESCRIBIR SIMBÓLICAMENTE LAS SIGUIENTES PROPOSICIONES

b) “Carlos compra un libro solo cuando tiene dinero”

c) “Iré de viaje y me divertiré, si ahorro”

También podría gustarte