COLABORATIVO 1

APORTE INDIVIDUAL

Presentado por:
DANIELA CABREJO
COD: 1052.395.944
Grupo: 683
DUITAMA, marzo de 2016

TUTOR:
CRISTHIAN CAMILO CASTELBLANCO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE ADMINISTRACION DE EMPRESAS
LGICA MATEMTICA

INTRODUCCIN
La lgica, es una palabra derivada del griego clsico logos (la razn, principio
que gobierna al Universo), son utiliza las reglas para hacer deducciones
demostrables. Tambin se considera como la ciencia que trata de los principios
vlidos del razonamiento y la argumentacin. El estudio de la lgica es el
esfuerzo por determinar las condiciones que justifican a una persona para
pasar de unas proposiciones dadas, llamadas premisas, a una conclusin que
se deriva de aqullas.
A continuacin se realiza una serie de ejercicios con proposiciones, premisas y
tablas de verdad, esto para comprobar si la afirmacin es verdadera o falsa.

3.1. El estudiante revisar individualmente los temas relacionados sobre

proposiciones y conectores lgicos, al terminar debe aplicar los
conocimientos adquiridos a las expresiones enumeradas a:
1. Si quieres progresar debes estudiar y ahorrar para el futuro.
a. Expresin en lenguaje natural en donde evidencie los conectivos
lgicos.
Si quieres progresar entonces debes estudiar y ahorrar para el futuro.
b. Declaracin de premisas.
p= quieres progresar
q= debes estudiar
r= ahorrar para el futuro
c. Expresin en lenguaje Simblico.
p(q ^r)
TABLA DE VERDAD
DE LA CONJUNCION

d. Tabla de verdad
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

(p^r)
V
F
F
F
V
F
F
V

p(q ^r)
V
F
F
F
V
V
V
V

TABLA DE VERDAD
DEL CONDICIONAL

e. Utilizar el simulador truth. T= V

2. No puedes daar a un ser humano o permitir que sufra dao si eres un

robot.

a. Expresin en lenguaje natural en donde evidencie los conectivos

lgicos.
Se deben ordenar las proposiciones.
Si eres un robot entonces No puedes daar a un ser humano o permitir que
sufra dao.
b. Declaracin de premisas.
p= eres un robot
q= puedes daar a un ser humano
r= permitir que sufra dao
c. Expresin en lenguaje Simblico.
p(~q r)
TABLA DE VERDAD
DE LA DISYUNCIN

d. Tabla de verdad
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

~q
F
F
V
V
F
F
V
V

(~q ^ r) p(~q r)
V
V
F
F
V
V
V
V
V
V
F
V
V
V
V
V

e. Utilizar el simulador truth. T= V

3. O viajamos en el da o lo hacemos por la noche.

TABLA DE VERDAD
DEL CONDICIONAL

a. Expresin en lenguaje natural en donde evidencie los conectivos

lgicos.
Viajamos en el da o lo hacemos por la noche
b. Declaracin de premisas.
p= viajamos en el da
p
q
(p q)
q= lo hacemos por la noche
V
V
V
V
F
F

F
V
F

V
V
F

c. Expresin en lenguaje Simblico.

pq

d. Tabla de verdad

TABLA DE VERDAD
DE LA DISYUNCIN

e. Utilizar el simulador truth. T= V

4. Es necesario ser responsable y dedicado para estudiar ingeniera.

a. Expresin en lenguaje natural en donde evidencie los conectivos
lgicos.
Es necesario ser responsable y dedicado para estudiar ingeniera.
b. Declaracin de premisas.
p= ser responsable para estudiar ingeniera
q= ser dedicado para estudiar ingeniera

c. Expresin en lenguaje Simblico.

p
V
V
F
F

q
V
F
V
F

(p ^ q)
V
F
F
F

p^q
d. Tabla de verdad

TABLA DE VERDAD
DE LA
CONJUNCION

e. Utilizar el simulador truth. T= V

p
V
V
F
F

q
V
F
V
F

(p q)
V
F
F
F

5. Si quieres llegar temprano madruga ms.

a. Expresin en lenguaje natural en donde
evidencie los conectivos lgicos.
Si quieres llegar temprano entonces madruga

ms.
b. Declaracin de premisas.
p= llegar temprano
q= madruga ms
c. Expresin en lenguaje Simblico.
pq
d. Tabla de verdad
TABLA DE VERDAD
DEL CONDICIONAL

e. Utilizar el simulador truth. T= V

6. La lgica es condicin necesaria y suficiente para interpretar una

lectura.
a. Expresin en lenguaje natural en donde evidencie los conectivos
lgicos.
La lgica es condicin necesaria y suficiente para interpretar una lectura.
p
V
V
F
F

q
V
F
V
F

(p ^ q)
V
F
F
F

b. Declaracin de premisas.
p= la lgica es condicin necesaria para
interpretar una lectura
q= la lgica es condicin suficiente para
interpretar una lectura

c. Expresin en lenguaje Simblico.

p^q
d. Tabla de verdad (conjuncin)

e. Utilizar el simulador truth. T= V

7. Los habitantes del campo progresan si y solo si tienen servicios

pblicos y una vivienda adecuada.
a. Expresin en lenguaje natural en donde evidencie los conectivos
lgicos.
Los habitantes del campo progresan si y solo si tienen servicios pblicos y
una vivienda adecuada.
b. Declaracin de premisas.
p= Los habitantes del campo progresan
q= Tienen servicios pblicos

r= Tienen una vivienda adecuada

c. Expresin en lenguaje Simblico.
(pq) ^ r
d. Tabla de verdad
p
q
r
V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

pq

(pq) ^ r

V
V
F
F
F
F
V
V

V
F
F
F
F
F
V
F

TABLA DE VERDAD

TABLA DE VERDAD

e. Utilizar el simulador truth. T= V

8. El conector lgico o es verdadero si y solo si alguna de las

proposiciones es verdadera.
a. Expresin en lenguaje natural en donde evidencie los conectivos
lgicos.
El conector lgico o es verdadero si y solo si alguna de las proposiciones es
verdadera.
b. Declaracin de premisas.
p= El conector lgico o es verdadero
q= Alguna de las proposiciones es verdadera.
c. Expresin en lenguaje Simblico.

pq
d. Tabla de verdad
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
V

TABLA DE VERDAD DE

e. Utilizar el simulador truth. T= V

9. O trabajas en la obra y eres ingeniero o trabajas en el campo y eres

agrnomo.
a. Expresin en lenguaje natural en donde evidencie los conectivos
lgicos.
O trabajas en la obra y eres ingeniero o trabajas en el campo y eres agrnomo
b. Declaracin de premisas.
p= Trabajas en la obra
q= Eres ingeniero
r= Trabajas en el campo
s= Eres agrnomo
c. Expresin en lenguaje Simblico.
(p ^ q) (r ^ s)

d. Tabla de verdad
p
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

q
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

r
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

s
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

(p ^ q)
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F

(r ^ s)
V
F
F
F
V
F
F
F
V
F
F
F
V
F
F
F

(p ^ q) (r ^ s)
V
V
V
V
V
F
F
F
V
F
F
F
V
F
F
F

e. Utilizar el simulador truth. T= V

10. Si te portas bien, el domingo pediremos arroz chino o pizza.

a. Expresin en lenguaje natural en donde evidencie los conectivos
lgicos.
Si te portas bien entonces el domingo pediremos arroz chino o pizza.

b. Declaracin de premisas.
p= Te portas bien
q= El domingo pediremos arroz chino
r= Pediremos pizza
c. Expresin en lenguaje Simblico.
(p q) r
d. Tabla de verdad

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

pq
V
V
F
F
V
V
V
V

e. Utilizar el simulador truth.

(p q) r
V
V
V
F
V
V
V
V

TABLA DE VERDAD

TABLA DE VERDAD

CONCLUSIONES

En la tabla de verdad de la disyuncin solo es falsa si todas las premisas

son falsas el resto da verdadero.

En la tabla de verdad de la conjuncin solo es verdadera si todas las

premisas son verdaderas, las dems combinaciones son falsas.

En la tabla de verdad del condicional solo es falsa cundo el antecedente es

verdadero y el consecuente es falso, las dems combinaciones son
verdaderas.

En el bicondicional se da la verdad solo si las premisas todas son

verdaderas o si todas las premisas son falsas.

REFERENCIAS BIBLIOGRFICAS
Tablas de verdad. Consultadas el 23 de marzo
https://matedisunidad3.wordpress.com/tag/condicional/

de

2016

en:

Simulador truth. Consultado el 23 de marzo de 2016 en:

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/process.php