TAREA 3: PROPOSICIONES Y TABLAS DE VERDAD

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.
2. No puedes daar a un ser humano o permitir que sufra dao si eres un robot.
3. O viajamos en el da o lo hacemos por la noche
4. Es necesario ser responsable y dedicado para estudiar ingeniera.
5. Si quieres llegar temprano madruga ms.
6. La lgica es condicin necesaria y suficiente para interpretar una lectura.
7. Los habitantes del campo progresan si y solo si tienen servicios pblicos y una
Vivienda adecuada.
8. El conector lgico o es verdadero si y solo si alguna de las proposiciones es
Verdadera.
9. O trabajas en la obra y eres ingeniero o trabajas en el campo y eres agrnomo.
10.Si te portas bien, el domingo pediremos arroz chino o pizza.
Cada solucin de los tems enumerados debe contar con las siguientes etapas:
a. Expresin en lenguaje natural en donde evidencie los conectivos lgicos.
b. Declaracin de premisas.
c. Expresin en lenguaje Simblico.
d. Tabla de verdad
e. Utilizar el simulador truth.

PROPOSICIONES Y TABLAS DE VERDAD

1. Si quieres progresar debes estudiar y ahorrar para el futuro
a. Expresin en lenguaje conectores lgicos
Si = Condicional
Y = Conjuncin
b. Declaracin de premisas
P = Querer progresar
Q = Deber estudiar
R = Ahorrar para el futuro
c. Expresin en lenguaje simblico
P (QR)
d. Tabla de verdad
P
F
F
F
F
V
V
V
V

Q R (QR
)
F V F
F F
F
V V F
V F V
F V F
F F
F
V V F
V F V

P
(QR)
V
V
V
V
F
F
F
V

e. Simulador Truth

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

robot
a. Expresin en lenguaje conectores lgicos
No = Negacin
O = Disyuncin
Si = Condicional
b. Declaracin de premisas
P = Daar a un ser humano
Q = Permitir que sufra un ser humano
R = Eres un robot
c. Expresin en lenguaje simblico
R (PQ)
d. Tabla de verdad
P
F
F
F
F
V
V
V
V

Q
F
F
V
V
F
F
V
V

R (PQ)
V
F
F
F
V
V
F
V
V
V
F
V
V
V
F
V

(PQ)
V
V
F
F
F
F
F
F

R
(PQ)
V
V
F
V
F
V
F
V

e. Simulador Truth

3. O viajamos en el da o viajamos en la noche

a. Expresin en lenguaje conectores lgicos
O o = Disyuncin exclusiva
b. Declaracin de premisas
P = Viajar en el da
Q = Viajar en la noche
c. Expresin en lenguaje simblico
PQ
d. Tabla de verdad
Q
P
F
F
V
V

F
V
F
V

(P
Q)
F
V
V
F

e. Simulador Truth

4. Es necesario ser responsable y dedicado para estudiar ingeniera

a. Expresin en lenguaje conectores lgicos
Y
= Conjuncin
Para = Condicional
b. Declaracin de premisas
P = Estudiar ingeniera
Q = Ser responsable
R = Ser dedicado
c. Expresin en lenguaje simblico
P (QR)
d. Tabla de verdad
P
F
F
F
F
V
V
V
V

e. Simulador Truth

Q R (QR
)
F V F
F F
F
V V F
V F V
F V F
F F
F
V V F
V F V

P
(QR)
V
V
V
V
F
F
F
V

5. Si quieres llegar temprano madruga ms

a. Expresin en lenguaje conectores lgicos
Si = Condicional
b. Declaracin de premisas
P = Llegar temprano
Q = Madrugar ms
c. Expresin en lenguaje simblico
PQ
d. Tabla de verdad
P
F
V
F
V

Q P
Q
F
V
F
F
V
V
V
V

e. Simulador Truth

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

a. Expresin en lenguaje conectores lgicos

Es condicin necesaria y suficiente = Bicondicional
b. Declaracin de premisas
P = La lgica
Q = La lectura
c. Expresin en lenguaje simblico
PQ
d. Tabla de verdad
P
F
V
F
V

Q P
Q
F
V
F
F
V
F
V
V

e. Simulador Truth

7. Los habitantes del campo progresan si y slo si tienen servicios pblicos y

una vivienda adecuada.

a. Expresin en lenguaje conectores lgicos

Si y slo s = Bicondicional
Y
= Conjuncin
b. Declaracin de premisas
P = Los habitantes del campo progresan
Q = Servicios pblicos
R = Vivienda adecuada
c. Expresin en lenguaje simblico
P (QR)
d. Tabla de verdad
P
F
F
F
F
V
V
V
V

Q R (QR
)
F V F
F F
F
V V F
V F V
F V F
F F
F
V V F
V F V

P
(QR)
V
V
V
F
F
F
F
V

e. Simulador Truth

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

es verdadera
a. Expresin en lenguaje conectores lgicos

Si y slo s = Bicondicional
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
F
V
F
V

Q P
Q
F
V
F
F
V
F
V
V

a. Simulador Truth

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

agrnomo
a. Expresin en lenguaje conectores lgicos
O o = Disyuncin exclusica
Y
= Conjuncin
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
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V

Q
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V

R
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V

S PQ
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
F
V
F
F
F
V
F
F
V
V
V
F
V
V
V

b. Simulador Truth

RS
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V

(P Q) (R
S)
F
F
V
F
F
F
V
F
V
V
F
V
F
F
V
F

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

a. Expresin en lenguaje conectores lgicos
Si = Condicional
O = Disyuncin
b. Declaracin de premisas
P = Te portas bien
Q = Pedir arroz chino
R = Pedir pizza
c. Expresin en lenguaje simblico
P (Q R)

d. Tabla de verdad

Q R
P
F
F
F
F
V
V
V
V

F
F
V
V
F
F
V
V

c. Simulador Truth

V
F
V
F
V
F
V
F

(Q
R)
V
F
V
V
V
F
V
V

P (Q R)
V
V
V
V
V
F
V
V