Tarea 3: Proposiciones y tablas de verdad
3.1. El estudiante revisará individualmente los temas relacionados sobre proposiciones
y conectores lógicos, al terminar debe transformar las expresiones relacionadas de
lenguaje natural al lenguaje simbólico aplicando conectivos lógicos.
1. Para estudiar lógica es necesario ser responsable y constante.
P= ser responsable p^ q
Q= constante
2. La conjunción de dos proposiciones es verdadera si y solo si ambas proposiciones
son verdaderas.
P= La conjunción de dos proposiciones es verdadera p<=>q
Q= Ambas proposiciones son verdaderas
3. La lógica es fundamental para estudio matemático, es condición necesaria y
suficiente.
P = La lógica es fundamental para estudio matemático
Q = Es condición necesaria p -> q^ r
R = Es suficiente
4. Si estudio lógica, entonces puedo inferir.
P = Estudio lógica p -> q
Q = puedo inferir
5. Si existe error en el razonamiento, entonces hay falacias o ambigüedades.
P = Existe error en el razonamiento
Q = Hay falacias p-> q˅ r
R = Hay ambigüedades
6. La disyunción es verdadera si y solo si alguna de las proposiciones es verdadera.
P = La disyuncion es verdadera p <-> p
Q = Alguna de las proposiciones es verdadera
7. Si estudias matemáticas, entonces te enfrentas a la ciencia de lo abstracto y lo
inconmensurable.
P = Si estudias matemáticas
Q = Te enfrentas a la ciencia de lo abstracto p -> q ^ r
R = Lo inconmensurable
8. Si hoy no luchas, mañana no llores.
P = Si hoy no luchas ~p -> ~q
Q = Mañana no llores
9. Los estudiantes de Lógica matemáticas razonan si y solo si resuelven todos los
días ejercicios de razonamiento.
P = Los estudiantes de lógica matemáticas razonan p <=> q
Q = Resuelven todos los días ejercicios
10. O estas en ingeniería de sistemas y estudia lógica matemáticas o estas en
ingeniería de alimento y estudia otro curso.
P = Estas en ingeniería de sistemas [(p ^ q) v (r^ s)]
Q = Estudia lógica matemáticas
R = Estas en ingeniería de alimento
S = Estudia otro curso
3.2. Cada solución de los ítems relacionados deben contar con las siguientes etapas:
a. Expresión en lenguaje natural en donde evidencie los conectivos lógicos.
b. Declaración de premisas.
c. Expresión en lenguaje natural.
d. Tabla de verdad
e. Utilizar el simulador truth.
1. (p ^ q)
P q p^q
v v v
v f f
f v f
f f f
2. (p <=> q)
p q p <=>q
v v v
v f f
f v f
f f v
3. (p -> q ^ r)
p q r p -> q ( p -> q ) ^ r
v v v v v
v v f v f
v f v f f
f f f v f
f v v v v
f v f v f
4. (p -> q)
p q p -> q
v v v
v f f
f v v
f f v
5. (p -> q v r)
p q r p -> q (p -> q) v r
v v v v v
v v f v v
v f v f v
f f f v v
f v v v v
f v f v v
6. (p <=> q)
p q p <=> q
v v v
v f f
f v f
f f v
7. (p -> q ^ r)
p q r p -> q (p -> q) ^ r
v v v v v
v v f v f
v f v f f
f f f v f
f v v v v
f v f v f
8. (~p -> ~ q)
p q ~p ~q p -> q (p -> q) -> (p -> q) ->
~p ~q
v v v v v f f
v v f f v v v
v f v f f f f
v f f v f f f
f v v v v f f
f v f f v v v
f f v v v f f
f f f f v v v
9. (p <=> q)
p q p <=> q
v v v
v f f
f v f
f f v
10. [(p ^ q) v (r ^ s)
p q pˆq (pˆq) v p [(pˆq) v p] v q
v v v v v
v f f f v
f v f v f
f f f v v
r s rˆs (rˆs) v r [(rˆs) v s ] v q
v v v v v
v f f f v
F V F V f
f f f v v
