Trabajo 2

Indicaciones

El alumno deberá leer el contenido indicado por el tutor en el ítem I, y

desarrollar el trabajo siguiendo las normativas del instructivo colocadas en el ítem II.

I. Contenido a desarrollar:

El sistema axiomático, está compuesto por un Alfabeto y por una Gramática,

siendo el alfabeto el conjunto de símbolos que pertenecen al lenguaje del sistema,
conformado por una cantidad finita pero arbitrariamente grande de variables
proposicionales, conjunto de operadores lógicos y los dos signos de puntuación
paréntesis. Por otro lado, la gramática consiste en un conjunto de reglas que definen
un conjunto de caracteres que pertenecen al lenguaje del sistema.

Las cadenas de caracteres construidos de acuerdo a estas reglas se les

llaman fórmulas bien formadas. De acuerdo a estas leyes podemos decir que las
siguientes cadenas de caracteres son fórmulas bien formadas:

 p
 p
 pq
  (p  q)
 P  p

Finalmente, existen jerarquías que se deben respetar al momento de

interpretar una cadena de caracteres, las conjunciones y disyunciones tienen menor
jerarquía que las implicaciones y bi-condicionales. Esto es equivalente a las

1/2
 matemáticas, en las cuales las multiplicaciones y divisiones se realizan antes que las
sumas y restas, siempre y cuando no se utilicen paréntesis para definir lo contrario.

Considerando lo expuesto en los párrafos anteriores:

I. Realizar un análisis de la importancia del Sistema Axiomático como herramienta

para la construcción del conocimiento científico.
II. Basados en el análisis del Sistema Axiomático, construir la siguiente tabla según
los elementos contenido en ella, para formalizar las proposiciones que se deriven
de las oraciones que se muestran seguidamente (ver ejemplo):

Proposiciones Fórmula bien

ítem Oración
identificadas formada
Ejm Me gusta bailar y leer p: me gusta bailar. pq
libros de ciencia ficción q: me gusta leer libros de ciencia ficción

ORACIONES:

1. Si los gatos de mi hermana no soltaran tanto pelo me gustaría acariciarlos.

2. Si y sólo si viera un marciano con mis propios ojos, creería que hay vida extraterrestre
3. Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un energúmeno.
4. Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como una
regadera y dejaría que me internaran en un psiquiátrico.
5. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo que ir
a trabajar.
6. Si viene en tren, llegará antes de las seis. Si viene en automóvil, llegará antes de las seis.
Luego, tanto si viene en tren como si viene en automóvil, llegará antes de las seis.
7. Si tuvieran que justificarse ciertos hechos por su enorme tradición entonces, si estos
hechos son inofensivos y respetan a todo ser viviente y al medio ambiente, no habría
ningún problema. Pero si los hechos son bárbaros o no respetuosos con los seres

Trabajo. Unidad Elementos de Lógica y Teoría de los Conjuntos. 2/4

 vivientes o el medio ambiente, entonces habría que dejar de justificarlos o no podríamos
considerarnos dignos de nuestro tiempo.
8. Si los habitantes de Venus invaden la Tiera, entonces los hombres se pondrán nerviosos o
las mujeres se entusiasmarán: si los hombres se ponen nerviosos, las mujeres se
entusismarán. Por lo tanto, si los habitantes de Venus invaden la Tiera, las mujeres se
entusiasmarán.
9. Si los filósofos callasen, la nieve quemaría y los círculos serían cuadrados. Si los círculos
fuesen cuadrados, entonces los matemáticos se dedicarían a cazar brujas, ni las abejas a
fabricar acero. Por tanto, los filósofos no callarán.
10. Si el toro tuviese sentido del humor o fuese un animal vengativo, se sentaría en medio de
la plaza y dormiría una plácida siesta. Si el toro se sentase en medio de la plaza, entonces
los espectadores se marcharían decepcionados o el torero se sentiría ridículo. Ni el torero
se siente ridículo, ni los espectadores se marchan decepcionados. Así que le toro no tiene
sentido del humor y dormiría una plácida siesta.

RECORDAR:

a) Si p, entonces q: p  q
b) No es el caso que p y q:  (p  q)
c) p solamente si q y no-r: p  (q   r)
d) p o no-q: p   q
e) Si p y q, entonces no-r o s: (p  q)  ( r  s)
f) Si p, entonces q, y si q, entonces p: (p  q)  (q  p)
g) Si p y q, entonces r. p. Luego si q, entonces r: (p  q)  r, p |- q  r
h) Si p y q, entonces r. Si r y s, entonces t. Luego si p y q y s, entonces t:
(p  q)  r, (r  s)  t |- (p  q  s)  t

Trabajo. Unidad Elementos de Lógica y Teoría de los Conjuntos. 3/4

II. Instructivo desarrollo de trabajos para estudiantes

El presente instructivo representa una guía hacia el estudiante, entregando

lineamientos de carácter general y técnicos en lo referente al desarrollo de trabajos escritos.

ASPECTOS GENERALES:

 Los trabajos escritos a desarrollar por los estudiantes son de carácter individual.
 La entrega debe ser realizada en formato word, tamaño carta, fondo blanco, tipo de
fuente Arial utilizando tamaño letra n° “14” en negrita para títulos, letra n°“12” en
negrita para subtítulos y letra n°“11” para texto párrafo general. Los márgenes
corresponderán a 2 cm por lado, con un interlineado de 1,5 puntos.
 La redacción y ortografía son factores de importante carácter al momento de la
evaluación.

ASPECTOS TÉCNICOS:

El desarrollo del trabajo escrito contempla las siguientes etapas:

 Portada: Identificar logo IPVC, Título del Trabajo, Nombre de Asignatura,

identificación de Autor(es) (Nombre Completo y mail de contacto) y fecha de entrega
cumpliendo plazo solicitado. Extensión máxima una plana.
 Tabla de Contenido: Identificar y señalar la estructura constitutiva del documento.
Extensión máxima una plana.
 Introducción: Explicar brevemente el tipo de trabajo y el contenido del mismo.
Extensión máxima una plana.
 Contenido: Desarrollo del argumento constitutivo del tema o ideas a exponer en el
trabajo solicitado. Extensión máxima de cinco planas.
 Conclusiones: Emitir opinión personal respecto al tema planteado en el trabajo.
Extensión máxima una plana.
 Bibliografía: Constituir listado de aquellas obras bibliográficas impresas o digitales
consultadas para la elaboración del trabajo. Extensión máxima una plana.

Trabajo. Unidad Elementos de Lógica y Teoría de los Conjuntos. 4/4