Preposiciones y tablas de verdad

Armando Gambo Pabón

Código:1063624093

Curso: 200611_1212

Tutor: Laura Daniela Marroquin

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA-ECBTI

PENSAMIENTO LOGICO Y MATEMATICO

INGENIERIA INDUSTRIAL

SEPTIEMBRE 2019
 Introducción

Este trabajo se realiza con la finalidad de obtener más conocimiento en los

siguientes temas: la lógica de proposiciones que permite describir razonamientos
basados en enunciados declarativos, tablas de verdad que dan a conocer los
valores de una proposición compuesta, los cuales dependen de los conectivos
utilizados, teoría de conjuntos de una manera sencilla y explicita, como
también sus funciones y representaciones proporcionables en una visión clara de
los conjuntos y aplicación de teoría de conjuntos que estudia las
propiedades y las operaciones al que puedan ser sometidas.

Trabajo realizado teniendo en cuenta los siguientes temas:

 Ejercicio 2: proporciones y tabla de verdad

A. Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo lleva al

concesionario o Si ella no lo lleva al concesionario entonces, lo lleva taller
de Fernando

Preposiciones simples:
p: El vehículo de Gabriela necesita mantenimiento
q: Ella lo lleva al concesionario
r: Ella no lo lleva al concesionario
s: Lo lleva taller de Fernando

Lenguaje simbólico:

(p→q) ∧ [(~r) →s]

Simulador lógico UNAD

p q r s (p→q)∧((~r)→s)
v v v v V
v v v f V
v v f v V
v v f f F
v f v v F
v f v f F
v f f v F
v F f f F
f V v v V
f V v f V
f V f v V
f V f f F
f F v v V
f F v f V
f F f v V
f F f f F

Tabla de verdad (manual):

p q r s ~r (p→q) (~r→s) (p→q)∧(~r→s)

V V V V F V V V
V V V F F V V V
V V F V V V V V
v V F F V V f F
V F v V F F V F
V F V F F F V F
V F F V V F V F
V F F F V F F F
F V V V F V V V
F V V F F V V V
F V F V V V V V
F V F F V V F F
F F V V F V V V
F F V F F V V V
F F F V V V V V
f F f f v V F F

Ejercicio 3:
A. ( p ∧q ) → ( r ⋀ s )

Preposiciones simples:
p: Jhon estudia en la santo tomas
q: la santo tomas es una universidad privada
r: deberá ser muy aplicado
s: su padre le sustentara el estudio

Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural.

Jhon estudia en la santo tomas y la santo tomas es una universidad privada

entonces deberá ser muy aplicado y su padre le sustentara su estudio

Simulador lógico UNAD

P q R S (p∧q)→(r∧s)
V v V V V
V v V F F
V v F V F
V v F F F
V f V V V
V f V F V
v f F V V
v f F F V
P q R S (p∧q)→(r∧s)
f v V V V
f v V F V
f v F V V
f v F f V
f f V v V
f f V f V
f f F v V
f f F f V

Tabla de verdad (manual):

p q r s (p∧q) (r∧s) (p∧q)→(r∧s

)
V V V V V V V
V V V F V F F
V V F V V F F
V V F F V F F
V F V V F V V
V F V F F F V
V F F V F F V
V F F F F F V
F V V V F V V
F V V F F F V
F V F V F F V
F V F F F F V
F F V V F V V
F F V F F F V
F F F V F F V
F F F F F F V
Resultado de la tabla de verdad: CONTINGENCIA