República Bolivariana de Venezuela

Ministerio del Poder Popular para la educación

Ministerio del Poder Popular para Relaciones Interiores, Justicia y Paz
Universidad Nacional Experimental de la Seguridad
Academia Nacional del Cuerpo de Investigaciones Científicas, Penales y Criminalística
CEFO – DISTRITO CAPITAL
10ma Cohorte, Ambiente #2, Físico 33, Piso 3
PNF: Investigación Penal
Unidad Curricular: Lógica Matemática
Discente: Carlos Morillo C.I: 27.607.437

TRABAJO

24/03/2020
 INDICE
INTRODUCCION…………………………3

1.- LÓGICA MATEMÁTICA………4

2.- ORIGEN…………………………….5
3.- QUÉ ESTUDIA----------------------5-6

4.- TIPOS DE LÓGICA…………………..7

° Lógica formal

° Lógica informal

° Lógica simbólica

° Lógica matemática

5.- QUÉ ES UN PROPOSICIÓN………..9

6.- TABLA DE LA VERDAD……………….10

7.- REGLAS DE SUSTITUCION…………..11

8.- 8.- RESOLVER LOS SIGUIENTES PROBLEMAS UTILIZANDO LA LÓGICA…12

9.-REFERENCIA DIGITAL……………………13

° REFERENCIA BIBLIOGRAFICA
 INTRODUCCION
Pensar es un complejo proceso que se inicia con la creación de imágenes mentales en
nuestro cerebro. Estas imágenes las integramos, emparejamos, proyectamos o asociamos
con nuestros conceptos o esquemas que tenemos memorizados, representándonos las
situaciones del mundo y de nosotros mismos en un proceso simbólico que necesitamos
estructurar en secuencias sintéticamente, esto es, lógicamente, organizadas. Tras ello
podemos prever lo que sucederá, evaluar las consecuencias de nuestros actos, anticipar
para evitar episodios desfavorables y promocionar los que más nos beneficien.
La lógica formal es la ciencia que estudia las leyes de inferencia en los razonamientos. Por
medio de la formalización del lenguaje y de sus reglas básicas, proporciona las
herramientas necesarias para poder tratar e intentar resolver rigurosamente problemas
que tienen sus origines y aplicaciones en todas las áreas de las ciencias.
 1.- LÓGICA MATEMÁTICA
Es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica
proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El
razonamiento lógico se emplea en matemáticas para demostrar teoremas; en ciencias de
la computación para verificar si son o no correctos los programas; en las ciencias física y
naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida
cotidiana, para resolver una multitud de problemas.
También llamada lógica simbólica, lógica teorética, lógica formal, o logística, 1 es parte
tanto de la lógica y como de la matemática, y consisten el estudio matemático de la lógica,
y en la aplicación de dicho estudio a otras áreas de la matemática y de las ciencias. Estudia
los sistemas formales en relación con el modo en el que codifican o definen nociones
intuitivas de objetos matemáticos como conjuntos, números, demostraciones, y
algoritmos, utilizando un lenguaje formal. Se suele dividir en cuatro subcampos: teoría de
modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La lógica
matemática no es la «lógica de las matemáticas» sino la «matemática de la lógica».
Incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas
matemáticamente. La lógica matemática comprende dos áreas de investigación distintas:
la primera es la aplicación de las técnicas de la lógica formal a las matemáticas y el
razonamiento matemático y la segunda, en la otra dirección, la aplicación de técnicas
matemáticas a la representación y el análisis de la lógica formal.
 2.- ORIGEN
En el siglo cuarto antes de nuestra era Aristóteles fue el primero en tratar de formalizar el
razonamiento humano para poder discernir en la discusiones losócas. Aristóteles se puede
considerar el fundador de la denominada lógica clásica. Durante la Edad Media el proceso
de sistematización de la lógica fue desarrollado por los Filósofos árabes y los escolásticos.
En el siglo XIII Santo Tomás de Aquino empleó la lógica en el contexto de las discusiones
teológicas. Fue Leibniz, en el siglo XVII, el primero a formular la lógica como base del
razonamiento matemático, pero sus estudios fueron abandonados hasta el siglo XIX,
cuando finalmente se fundó la lógica matemática como ciencia.

3.- QUÉ ESTUDIA

La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y
técnicas determina si un argumento es válido. La lógica es ampliamente aplicada en la
Filosofía, Matemáticas, Computación, Física. En la filosofía para determinar si un
razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones,
sin embargo la lógica permite saber el significado correcto. En las matemáticas para
demostrar teoremas e inferir resultados matemáticas que puedan ser aplicados en
investigaciones.
La evolución de la lógica está ligada a la evolución intelectual del ser humano, ya que
como ciencia del razonamiento se puede afirmar que su historia representa la historia
misma del hombre. La lógica surge desde el momento en que el hombre al enfrentarse a
la naturaleza empieza a observar, experimentar, deduce y razona.
Durante el periodo 600 AC hasta 300 AC se desarrollaron en Grecia los principios formales
de las matemáticas, a este periodo se le llamo periodo clásico en donde sus principales
representantes son: Platón que el introdujo sus ideas y abstracciones; Aristóteles que
presentó el razonamiento ductivo y sistemático y Euclides que fue el que tuvo mayor
influencia ya que este estableció el método axiomático.
El objetivo de la lógica matemática es cuestionar los conceptos y las reglas de deducción
que son utilizadas en las matemáticas y esto constituye a la lógica una verdadera
matemática.
 4.- TIPOS DE LÓGICA

La palabra “lógica” viene del griego “logos” que puede traducirse de distintas maneras: palabra,
pensamiento, argumento, principio o razón son algunas de las principales. En este sentido la lógica
es el estudio de los principios y de los razonamientos.

Dicho estudio tiene la finalidad de comprender distintos criterios de inferencias y cómo es

que llegamos a demostraciones válidas, en contraste a las demostraciones no válidas. Así
pues, la pregunta básica de la lógica es ¿cuál es el pensamiento correcto y cómo podemos
diferenciar entre un argumento válido y una falacia?
La lógica se sirve de distintas herramientas para comprender los razonamientos que
utilizamos para justificar algo. Tradicionalmente se reconocen cuatro grandes tipos de
lógica, cada uno de ellos con algunos subtipos y especificidades. Veremos a continuación
de qué se trata cada uno.

A. Lógica formal
También conocida como lógica tradicional o lógica filosófica, se trata del estudio de las
inferencias con contenido puramente formal y explícito. Se trata de analizar los
enunciados formales (lógicos o matemáticos), cuyo significado no es intrínseco sino que
sus símbolos tienen sentido por la aplicación útil que se les da. La tradición filosófica de la
cual deriva esto último se llama precisamente “formalismo”.

A su vez, un sistema formal es aquel que se utiliza para extraer una conclusión de una o
más premisas. Estas últimas pueden ser axiomas (proposiciones evidentes por sí mismas)
o teoremas (conclusiones de un conjunto fijo de reglas de inferencias y axiomas).

B. Lógica informal
Por su parte, la lógica informal es una disciplina más reciente, que estudia, evalúa y
analiza los argumentos desplegados en el lenguaje natural o cotidiano. De ahí que reciba
la categoría de “informal”. Puede tratarse tanto de lenguaje hablado como escrito o bien,
cualquier tipo de mecanismo e interacción utilizada para comunicar algo. A diferencia de
la lógica formal, que por ejemplo aplicaría para el estudio y desarrollo de los lenguajes
informáticos; el lenguaje formal hace referencia a los idiomas y las lenguas.

Así pues, la lógica informal puede analizar desde los razonamientos y argumentos
personales hasta los debates políticos, los argumentos legales o las premisas difundidas
por los medios de comunicación como el periódico, la televisión, el internet, etcétera.
C. Lógica simbólica
Tal como su nombre lo indica, lógica simbólica analiza las relaciones entre símbolos. En
ocasiones se sirve del lenguaje matemático complejo, ya que se encarga de estudiar
problemas que la lógica formal tradicional encuentra complicados o difíciles de abordar.
Suele dividirse en dos subtipos:

Lógica predicativa o de primer orden: se trata de un sistema formal compuesto por

fórmulas y variables cuantificables
Proposicional: se trata de un sistema formal compuesto por proposiciones, que son
capaces de crear otras proposiciones a través de conectores llamados “conectivas
lógicas”. En este casi no hay variables cuantificables.

D. Lógica matemática
Dependiendo del autor que la describe, la lógica matemática puede considerarse un tipo
de lógica formal. Otros consideran que la lógica matemática incluye tanto la aplicación de
la lógica formal a las matemáticas, como la aplicación de los razonamientos matemáticos a
la lógica formal.

A grandes rasgos se trata de la aplicación del lenguaje matemático en la construcción de

sistemas lógicos hace posible reproducir la mente humana. Por ejemplo esto ha estado
muy presente en el desarrollo de la inteligencia artificial y en los paradigmas
computacionales del estudio de la cognición.

Suele dividirse en dos subtipos:

Logicismo: se trata de la aplicación de la lógica en las matemáticas. Ejemplos de este tipo

son la teoría de la prueba, la teoría de modelos, la teoría de conjuntos y la teoría de la
recursión.
Intuicionismo: sostiene que tanto la lógica como las matemáticas son métodos cuya
aplicación es consistente para realizar construcciones mentales complejas. Pero, dice que
en sí mismas, la lógica y las matemáticas no pueden explicar propiedades profundas de los
elementos que analizan.
 5.- QUÉ ES UN PROPOSICIÓN
Una proposición es una estructura semántica compuesta por dos o más conceptos unidos
entre sí a través de frases de enlace para crear unidades con significado (Novak & Gowin,
1984). En la teoría cognitiva de Ausubel (1963; 1968), los conceptos y proposiciones
constituyen las unidades más pequeñas de que se compone el conocimiento. Son, para
utilizar la analogía de Novak, los átomos y moléculas, respectivamente, de nuestra
estructura cognitiva.
Como el propio término lo sugiere, una proposición propone o afirma algo,
independientemente del valor de verdad (“cierto” o “falso”) de lo propuesto. En este
sentido podemos decir que una proposición es una oración declarativa.  La frase de enlace
entre dos conceptos sirve para expresar la relación que existe, dentro de un contexto
dado, entre esos conceptos.
Las proposiciones más simples, las llamadas proposiciones binarias, constan de dos
conceptos con su respectiva frase de enlace, es decir, tienen la estructura CONCEPTO +
FRASE DE ENLACE + CONCEPTO. Los siguientes son ejemplos de este tipo de proposiciones
(la frase de enlace aparece en color rojo):

 Ejercicio ayuda a mantener buen peso corporal.

 La Isla de Coiba es patrimonio de la humanidad.

 Aprender significativamente requiere de esfuerzo por parte del aprendiz.

 Aumentar la transparencia institucional fortalece la credibilidad del país.

 Los alimentos transgénicos constituyen una amenaza para las especies de plantas

endémicas.

Una proposición es una cadena de signos expresados en un determinado lenguaje. En un

lenguaje natural, esos signos usualmente son sonidos o caracteres escritos, mientras que
un tipo de lenguaje formalizado pueden ser signos arbitrarios. Dado que los lenguajes son
tipos de estructuras combinatorias que admitida mente pueden representar entidades de
la realidad, se admite que las proposiciones son cadenas de signos a las que es posible
emparejar con objetos reales.
 6.- TABLA DE LA VERDAD
Denidos los valores de verdad de los conectivos de la lógica proposicional, el principio de
inducción estructural nos permite extender una valoración a todas las fórmulas
proposicionales.
Una tabla de verdad, o tabla de valores de verdades, es una tabla que muestra el valor de
verdad de una proposición compuesta, para cada combinación de verdad que se pueda
asignar.
Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más
popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus,
publicado en 1921.
La tabla de verdad de una fórmula proposicional ϕ es una forma de representar todos los
posibles valores de verdad que ϕ puede tomar en todas las posibles valoraciones de las
proposiciones atómicas de su signatura.

VERDAD: El valor verdadero se representa con la letra V; si se emplea notación numérica

se expresa con un uno: 1; en un circuito eléctrico, el circuito está cerrado cuando está
presente la afirmación de V.

FALSO: El valor falso F; si se emplea notación numérica se expresa con un cero: 0; en un

circuito eléctrico, el circuito está abierto.

VARIABLE: Para una variable lógica A, B, C,... pueden ser verdaderas V, o falsas F, los
operadores fundamentales se definen así:
NEGACIÓN: La negación operador que se ejecuta, sobre un único valor de verdad,
devolviendo el valor contradictorio de la proposición considerada.

CONJUNCIÓN: La conjunción es un operador, que actúa sobre dos valores de verdad,

típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad
verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es
decir, es verdadera cuando ambas son verdaderas.
En términos más simples, será verdadera cuando las dos proposiciones son verdaderas.
La tabla de verdad de la conjunción es la siguiente:

7.- REGLAS DE SUSTITUCION

En lógica, las reglas de reemplazo o reglas de sustitución123 son reglas de transformación
que pueden ser aplicadas únicamente a un segmento particular de una expresión.

Un sistema lógico puede ser construido de manera que utilice axiomas, reglas de
inferencia, o ambos, como reglas de transformación de expresiones lógicas en el sistema.
Mientras que una regla de inferencia se aplica siempre a una expresión lógica general, una
regla de reemplazo puede ser aplicada solamente a un segmento particular.

En el contexto de una prueba lógica, expresiones lógicamente equivalentes pueden

sustituirse unas por otras. Las reglas de reemplazo se usan en la lógica proposicional para
manipular proposiciones y efectuar estas sustituciones.
 8.- RESOLVER LOS SIGUIENTES PROBLEMAS UTILIZANDO LA
LÓGICA
A) Las Boinas
El director de una prisión llama a tres de sus presos, les enseña tres boinas blancas y dos
boinas negras, y les dice “Voy a colocar una boina a cada uno de ustedes, el primero que
me indique el color de la suya será puesto en libertad”. Si los presos pueden moverse y
por lo tanto ver a los otros dos porque razonamiento solo uno de los presos obtiene la
libertad.
RESPUESTA: Unos de los prisioneros al ver a los otros dos con boinas negras, sabiendo que
solo hay 2 negras, por lógica solo es posible que él tenga la boina blanca, por eso el
obtiene la libertad.
B) Las puertas
Imaginemos que hay tres puertas y tres guardianes, uno de los guardianes dice siempre la
verdad, otro que siempre miente y el tercero que dice verdad o mentira alternativamente.
¿Cuál es el menor número de preguntas que debe hacer para encontrar la libertad con
toda seguridad?
RESPUESTA:
C) Los come pasteles
Un hombre y medio se comen un pastel y medio en un minuto y medio. ¿Cuantos
hombres hacen falta para comer 60 pasteles en media hora?
RESPUESTA: Hacen falta solo 3 hombres para comerse los 60 pasteles
 REFERENCIA DIGITAL
https://plato.stanford.edu/entries/logic-informal/
file:///C:/Users/Invitado/Pictures/Dialnet-
LaLogicaMatematicaUnaDisciplinaEnBuscaDeEncuadre-3309806.pdf
https://www.ecured.cu/L%C3%B3gica_matem%C3%A1tica

REFERENCIA BIBLIOGRAFICA
Barwise, J., 1978. Handbook of mathematical logic. Ámsterdam, North-Holland.
Castrillo, P., 1993. Los precursores británicos de la lógica moderna. Madrid, UNED.