[go: up one dir, main page]
Scribd
Cargar
498 vistas6 páginas

Metodo Abreviado 2BE

Este documento presenta dos ejemplos de evaluación de esquemas moleculares mediante el método abreviado. En el primer ejemplo, se asignan valores de verdad a las proposiciones simples y luego se evalúa el esquema molecular para determinar que es tautológico. En el segundo ejemplo también se asignan valores a las proposiciones simples y se evalúa el esquema molecular, determinando que también es tautológico. Finalmente, se explica brevemente en qué consiste el método abreviado.

Cargado por

Wilmar Adrian Andre Morales
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
498 vistas6 páginas

Metodo Abreviado 2BE

Este documento presenta dos ejemplos de evaluación de esquemas moleculares mediante el método abreviado. En el primer ejemplo, se asignan valores de verdad a las proposiciones simples y luego se evalúa el esquema molecular para determinar que es tautológico. En el segundo ejemplo también se asignan valores a las proposiciones simples y se evalúa el esquema molecular, determinando que también es tautológico. Finalmente, se explica brevemente en qué consiste el método abreviado.

Cargado por

Wilmar Adrian Andre Morales
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
Está en la página 1/ 6

Ejemplo:

Evaluar el valor de verdad del siguiente esquema molecular:

B { ( p  ~ q )  [ ( r  q )  ~ r ] }  ~ q
Evaluando:

p q r {( p  ~ q )  [ ( r  q )  ~ r ]}  ~ q
V V V V F F F V F F V F
V V F V F F F V V V V F
V F V V V V F F F F V V
V F F V V V V V V V V V
F V V F V F F V F F V F
F V F F V F V V V V F F
F F V F F V F F F F V V
F F F F F V F V V V V V

1 2 1 3 1 2 1 OP 1

Por tanto al evaluar el esquema molecular y observar los valores de OP resulta


una CONTINGENCIA.

PERVISU
Ejemplo:
Evaluar el valor de verdad del siguiente esquema molecular:

{[ ( ~ p  q )  ( q  r ) ]  ~ r }  p
Evaluando:

p q r {[ ( ~ p  q )  ( q  r ) ]  ~ r }  p
V V V F V V V V F F V V
V V F F V V F F F V V V
V F V F V F V V F F V V
V F F F V F V V V V V V
F V V V V V V V F F V F
F V F V V V F F F V V F
F F V V F F F V F F V F
F F F V F F F V F V V F
1 2 1 3 2 4 1 OP 1

Al evaluar el esquema molecular y observar los valores de OP resulta una


TAUTOLOGIA.

PERVISU
PRACTICA GRUPAL: (PARA QUE LOS ESTUDIANTES EN GRUPOS LO DESARROLLEN)

Evaluar el valor de verdad de los siguientes esquemas moleculares:

A     p  q    q   (  p  q )

E  {   p  r    q   (  r  q ) }

B   p  q   ( q  r )   ( p  r )

C   q  r   ( p  r )   p  r

PERVISU
FORMA ABREVIADA

Para establecer el valor de verdad de un esquema lógico o proposición compuesta se


puede asignar valores de verdad a las proposiciones simples que lo conforman y así
conocer el valor de verdad de la proposición compuesta, este proceso se conoce como la
forma abreviada.

 Determinación del valor de verdad de la proposición compuesta a partir de conocer el


valor de verdad de las proposiciones simples.

 Determinación del valor de verdad de las proposiciones simples a partir de conocer el


valor de verdad de la proposición compuesta.

PERVISU
Ejemplo:
Dada las proposiciones simples 𝑝, 𝑞, 𝑟 𝑦 𝑠 con sus respectivos valores de verdad. 𝑣 𝑝 = 𝐹,
𝑣 𝑞 = 𝐹, 𝑣 𝑟 = 𝑉 𝑦 𝑉 𝑠 = 𝑉 . Evaluar el valor de verdad del siguiente esquema
molecular: E  ( p  r )  [  ( p  s)  q ]

Evaluando:

E  ( p  r )  [  ( p  s)  q ]

E( p  r)  [  ( p  s )  q ]
F V F V
F F

V F
F F

V

Al evaluar el esquema molecular por método abreviado se puede observar que en el OP resulta
VERDADERA O TAUTOLOGICA.

PERVISU
Ejemplo:
Dada las proposiciones simples 𝑝, 𝑞, 𝑟 𝑦 𝑠 con sus respectivos valores de verdad. 𝑣 𝑝 = 𝑉,
𝑣 𝑞 = 𝑉, 𝑣 𝑟 = 𝐹, 𝑣 𝑠 = 𝑉 𝑦 𝑣 𝑡 = 𝐹 . Evaluar el valor de verdad del siguiente esquema
molecular:
E  [ ( p   r )  t ]   [  ( p  s)  q ]
Evaluando:

[ ( p  r )  t ]   [  ( p  s )  q ]

V V V V V
 V
V V F V

V
 
V F
V
Al evaluar el esquema molecular por método abreviado se puede observar que en el OP resulta
VERDADERA O TAUTOLOGICA.

PERVISU

También podría gustarte