Republica de Panam

Universidad UMECIT
Nombre: Ariel Isaac miranda guerra
Materia: Lgica Matemtica
Profesor:

Vocabulario
1 - Axioma: En lgica y matemticas, un axioma es una premisa que, por
considerarse evidente, se acepta sin demostracin, como punto de partida
para demostrar otras frmulas. Tradicionalmente los axiomas se eligen de
las consideradas afirmaciones evidentes, porque permiten deducir las
dems frmulas
2 -Teorema: Un teorema generalmente posee un nmero de premisas que
deben ser enumeradas o aclaradas de antemano. Luego existe una
conclusin, una afirmacin lgica o matemtica, la cual es verdadera bajo
las condiciones dadas.
3 Enunciado: es un acto de habla (acto locativo) mnimo, realizado
mediante una oracin o una expresin sintctica ms pequea que una
oracin. Informalmente se usa enunciado como sinnimo de oracin,
aunque pragmticamente existen diferencias.
4 Proposicin: proposicin se usa para referirse a.

Las entidades portadoras de los valores de verdad

Los objetos de las creencias y de otras actitudes proposicionales.

El significado de las oraciones declarativas o enunciativas, como el Sol es una

estrel

5 Postulado: Lgicamente un postulado es similar a un axioma pero

difiere de ellos en que, en un sistema hipottico-deductivo, es toda
proposicin no deducida de otra, sino que constituye una regla general de
pensamiento lgico (en oposicin a los postulados).
6- Paradoja: se considera paradoja a una proposicin en apariencia falsa o
que infringe el sentido comn, pero no conlleva una contradiccin lgica, en
contraposicin a un sofisma que solo aparenta ser un razonamiento
verdadero

7-Hipotesis: Una hiptesis cientfica es una proposicin aceptable que ha sido

formulada a travs de la recoleccin de informacin y datos, aunque no est
confirmada, sirve para responder de forma alternativa a un problema con base
cientfica.

8- Lgica: La lgica tradicionalmente se consider una rama de la filosofa.

Pero desde finales del siglo XIX, su formalizacin simblica ha demostrado
una ntima relacin con las matemticas, y dio lugar a la lgica matemtica
9- Lgica Aristotlica: es la lgica basada en los trabajos del filsofo
griego Aristteles, quien es ampliamente reconocido como el padre
fundador de la lgica.
10-Logica Moderna: Un nuevo enfoque adquiere esta lgica en las interpretaciones
racionalistas de Port Royal, en el siglo XVII, pero tampoco supusieron un cambio radical en
el concepto de la Lgica como ciencia
11-Modulo: Mdulo es una parte repetitiva, autnoma e intercambiable de un diseo
modular

12-Semantica: se refiere a los aspectos del significado, sentido o

interpretacin de signos lingsticos como smbolos, palabras, expresiones o
representaciones formales.
13- Lgica difusa: se basa en lo relativo de lo observado como posicin
diferencial. Este tipo de lgica toma dos valores aleatorios, pero
contextualizados y referidos entre s.
14- Filosofa de las ciencias: investiga el conocimiento cientfico y la
prctica cientfica. Se ocupa de saber, entre otras cosas, cmo se
desarrollan, evalan y cambian las teoras cientficas, y de saber si la
ciencia es capaz de revelar la verdad de las "entidades ocultas" (o sea, no
observables) y los procesos de la naturaleza.