Tarea 3 - Proposiciones y Tablas de Verdad

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 12

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

También podría gustarte

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy