PERITO CONTADOR

Universidad Mariano Gálvez
Licenciatura en Sistemas

LÓGICA
HOJA DE TRABAJO 1

COMPLEMENTO DE LA TEORÍA
La siguiente hoja de trabajo tiene como objeto completar las ideas desarrolladas acercade los seis
postulados metamatemáticos que se han visto en clase. Su trabajo consistirá en presentar lo que se
le indica en hojas papel bond tamaño carta, debidamente engrapadas y con esta hoja deinstrucciones al frente. NO OLVIDE ESCRIBIR SU NOMBRE Y NÚMERO DE CARNET.

1. Muestre una fórmula preposicional en la cual sí sean indispensables los
signos de agrupación (diferente de la expuestaen clase (ver p. 23, 24). Justifique su
respuesta.
2. Suponga que se tiene como verdadera la proposición “primero evaluar y luego
actuar” y, puesto que en la suma el orden de los sumandos no alterala
suma, podríamos considerar como válida la siguiente proposición "en suma
no importa el orden". Entonces ¿cómo es posible que si aceptamos a ambas como
verdaderas, la conjunción de ambas,“primero evaluar y luego actuar y en suma
no importa el orden”, sea una proposición contradictoria a nuestra primera
proposición, aceptada como verdadera, y por consiguiente falsa (en contradicción
directacon el postulado I)? Explique.
3. Definición: Un enunciado proposicional es indecidible si es una proposición
cuyo valor de verdad se desconoce (es decir que aunque se sepa que el enunciado encuestión es una proposición1, no es posible saber con certeza si es verdadero o
falso). ¿Existen enunciados preposicionales indecidibles? Si su respuesta es
afirmativa o negativa, enúnciela comoteorema y demuéstrelo. ( ESTE
PROBLEMA TIENE COMO OBJETO MOSTRAR UN EJEMPLO DE ALGO QUE
ESTÁ BIEN DEFINIDO PERO QUE NO NECESARIAMENTE EXISTE).
4. Qué tipos de enunciados son los siguientes:
(a) Nada esverdadero.
(b) Todo es falso.
(c) Supóngase la validez del siguiente enunciado: “no existen
enunciados proposicionales indecidibles” es un enunciado
proposicional indecidible. ¿Qué tipo de...