TRABAJO DE TABLAS DE VERDAD PASO 2

PENSAMIENTO LOGICO MATEMATICO

PRESENTADO POR:

PRESENTADO A:

NESTOR JAVIER RODRIGUEZ

GRUPO:

200611_87

CEAD Cartagena

FECHA:

11/07/18
 INTRODUCCION

En esta actividad podemos observar cada una de la estrategias y formas de realizar proposiciones
lógicas y de la misma forma poder realizar su tabla de verdad para poder corroborar los resultados
de cada una de las proposiciones.
 OBJETIVOS

 Reconocer proposiciones lógicas

 Resolver proposiciones lógicas y formalizarlas a lenguaje natural
 Realizar tablas de verdad
 Identificar Tautología, contradicción y contingencia.
 TABLA 1:PLAN DE ACCION - GRUPO # 200611_87

Datos Estudiante Fotografía Ejercicios Ejercicios

seleccionado seleccionado s revisar
sa
desarrollar
Identificación: 1047440582 Tarea 1: B Tarea 1: A
Nombre: Camilo Andres Solana Sanchez
CCAD Cartagena-Caribe Tarea 2: C Tarea 2: A

Tarea 3: C Tarea 3: A
 Tarea 1

p: El rector de la UNAD es Jaime Alberto Leal Afanador

q: La UNAD es una institución de carácter privado

r: En la UNAD se estudia de forma virtual

[(�→�)∧ �]↔(¬ � ∨¬�)

P= V

q= F

r= V

[(�→�)∧ �]↔(¬ � ∨¬�)

V V F V

V F

F V

Si el rector de la UNAD es Jaime Alberto Leal Afanador entonces en la UNAD se estudia de forma
virtual y la UNAD es una institución de carácter privado. Si, solo si en la UNAD no se estudia de
forma virtual o si la UNAD no es una institución de carácter privado.
 TAREA 2

Si me matriculo en Ingeniería de Sistemas, veré en primer semestre introducción a la

programación. Me matriculo en Ingeniería Industrial. Por lo tanto, no veré en primer semestre
introducción a la programación.

P= veré en primer semestre introducción a la programación

q= Me matriculo en ingeniería de sistemas

r= me matriculo en ingeniería industrial

(q>p)>(r> ¬p)

Tabla de verdad manual

Simulador tabla de verdad

efectivamente los resultados son los mismos tanto en la tabla de verdad manual como en el
simulador de tabla de verdad
 TAREA 3

{(pΛq)Λ(r→s)Λ(qVs)}→(r→p)

James Rodríguez jugo en el Barcelona y en el Mónaco no lo conocía nadie y ahora juega en el Bayer
Múnich porque es el jugador estrella del equipo. Sin embargo, en el Mónaco no lo conocía nadie o
es el jugador estrella del equipo puesto que ahora juega en el Bayer Múnich porque James
Rodríguez jugo en el Barcelona.

p= James Rodríguez jugo en el Barcelona p= F

q= en el Mónaco no lo conocía nadie q= V

r= ahora juega en el Bayer Múnich r= V

s= es el jugador estrella del equipo s= V

{(pΛq)Λ(r→s)Λ(qVs)}→(r→p)

{(F V V) Λ (V → V) Λ ( V → F)} → (V → F)

{(F) Λ (V) Λ (F)} → (F)

{(F) Λ (F)} → (F)

F→F

TABLA DE VERDAD MANUAL

 SIMULADOR DE TABLA DE VERDAD

Esta proposición lógica compuesta es una tautología ya que es verdadera independientemente de

los valores falsos que la componen.