1. TALLER I
Lógica primera parte
1. De los siguientes enunciados, seleccione los que sean proposiciones.
Explique por qué?
a) Carlos es un buen estudiante
b) Nunca regreses!
c) 2 3 5
d) Si a  b  a  b
e) Sólo si tú quieres.
f) 16  4 y 16  4
2. De ser posible construya con lenguaje natural:
a) dos conjunciones donde no aparezca el conectivo “ y”
b) Dos implicaciones donde no aparezca el conectivo “ entonces”
c) Dos proposiciones donde aparezca el conectivo” y”.pero no se trate de una
conjunción.
d) Una proposición que hoy sea falsa pero mañana verdadera.
e) una proposición que sea simultáneamente falsa y verdadera.
3. Si una fórmula proposicional es siempre falsa, sin importar el valor de verdad de las
proposiciones atómicas se llama falacia, si por el contrario la fórmula proposicional
toma valores de verdad diferentes, la fórmula proposicional se llama indeterminación.
Dadas las siguientes fórmulas proposicionales:
a) construya la tabla de verdad
b) Clasifique cada fórmula proposicional como falacia, tautología o
indeterminación.
c) Concluya cuales proposiciones son lógicamente equivalentes.
i) ( p  q)  ( p  q)
ii) ( p  q)  ( p  q)
iii) [( p  q)  p]  q
iv) ¬ ( p  q)  p  q
v) ( p  q)  ( p  q) .