NUCLEO DE MATEMÁTICAS

INSTITUCIÓN EDUCATIVA AGROPECUARIA

CARRIZALES
1
Nucleo Pensamiento Matematico (Cálculo – Física)
Docente Felipe Andres Vitonco E- mail: feanvi32@hotmail.com Cel: 317 4193971
Nombre de estudiante
Fecha de entrega

Instrucciones: Leo la guía de trabajo, pienso y analizo el contenido dado y desarrollo las actividades planteadas

LOGICA PROPOSICIONAL O MATEMATICA

Historia de la lógica
La historia de la lógica documenta el desarrollo de la lógica en
varias culturas y tradiciones a lo largo de la historia. Aunque
muchas culturas han empleado intrincados sistemas de
razonamiento, e, incluso, el pensamiento lógico estaba ya implícito
en Babilonia en algún sentido, la lógica como análisis explícito de
los métodos de razonamiento ha recibido un tratamiento sustancial
solo originalmente en tres tradiciones: la Antigua China, la Antigua
India y la Antigua Grecia.

Aristóteles ha sido considerado como el padre de la lógica formal

Aunque las dataciones exactas son inciertas, particularmente en

el caso de la India, es probable que la lógica emergiese en las
tres sociedades hacia el siglo IV a. C. El tratamiento formalmente
sofisticado de la lógica proviene de la tradición griega,
especialmente del Órganon aristotélico, cuyos logros serían
desarrollados por los lógicos islámicos y, luego, por los lógicos
de la Edad Media europea. El descubrimiento de la lógica india
entre los especialistas británicos en el siglo XVIII influyó también
en la lógica moderna.

Averroes, uno de los principales pensadores árabes en rescatar la lógica aristotélica y

reintroducirla en el mundo Occidental.

La historia de la lógica es producto de la confluencia de cuatro líneas de pensamiento, que

aparecen en momentos históricos diferentes: La lógica aristotélica, seguida de los aportes
de los megáricos y los estoicos. Siglos después, Ramón Llull y Leibniz estudiaron la
posibilidad de un lenguaje único, completo y exacto para razonar. Al comienzo del siglo
XIX las investigaciones en los fundamentos del álgebra y la geometría, seguidos por el
desarrollo del primer cálculo completo por Frege. Ya en el siglo XX, Bertrand
Russell y Whitehead culminaron el proceso de creación de la lógica. A partir de este
momento no cesarán de producirse nuevos desarrollos y de nacer escuelas y tendencias.

.
 NUCLEO DE MATEMÁTICAS
INSTITUCIÓN EDUCATIVA AGROPECUARIA
CARRIZALES
2
Concepto de Lógica Matemática

También llamada lógica simbólica, lógica teorética, lógica formal, o logística, es parte tanto
de la lógica y como de la matemática, y consiste en 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.

Definición de 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. Ciertamente se usa en forma constante
el razonamiento lógico para realizar cualquier actividad.

Clases de proposiciones

Proposiciones Simples: También

denominadas proposiciones atómicas. Son
aquellas proposiciones que no se pueden
dividir. Carecen de conjunciones gramaticales
típicas conectivas (“y”, “o”, “sí…entonces”, “sí
y sólo sí”) o del adverbio de negación NO.
Pueden ser Predicativas o Relacionales.

Ejemplos:

P: El 9 y el 27 son factores del 81 (V)

q: Los números pares son divisibles por dos
(V)
r: La tierra es plana (F)
s: El número 1 es un número irracional (F)
 NUCLEO DE MATEMÁTICAS
INSTITUCIÓN EDUCATIVA AGROPECUARIA
CARRIZALES
3
Proposiciones compuestas: También
denominadas moleculares. Son aquellas que están
formadas por dos o más proposiciones simples
unidas por los operadores lógicos. Contienen
alguna conjunción gramatical típica o conectiva o el
adverbio negativo “NO”. Estas se clasifican en:
Conjuntivas, Disyuntivas, Condicionales y
Bicondicionales.

Ejemplo:

P: El 9 es divisor del 45, y el 3 es divisor del 9 y del

45 (V)

q: El número 6 es mayor que el 3 y menor que el 4

(F)
 NUCLEO DE MATEMÁTICAS
INSTITUCIÓN EDUCATIVA AGROPECUARIA
CARRIZALES
4

Conectores lógicos y tablas de verdad

La negación: es una nueva proposición que tiene un valor de verdad opuesto

a la proposición original. Es decir, si el valor de verdad de una proposición p es
verdadero, entonces el valor de verdad de ~p es falso.

La conjunción: es la proposición compuesta que resulta de conectar dos

proposiciones, p y q, mediante el conectivo ∧. Esta proposición compuesta
de denota por 𝑝 ∧ 𝑞 y se lee p y q.

Ejemplo: “Jorge viajó a Cali y Luis viajó a Popayán”

p: Jorge viajó a Cali

q: Luis viajó a Popayán
Simbología: “p  q”

Nota: También equivalen al conectivo conjunción las palabras pero, sin

embargo, aunque, además, no obstante, etc.
Tabla de verdad
 NUCLEO DE MATEMÁTICAS
INSTITUCIÓN EDUCATIVA AGROPECUARIA
CARRIZALES
5
La disyunción: es la proposición compuesta que resulta de conectar dos
proposiciones, p y q, mediante el conectivo ∨. Esta proposición compuesta
de denota por p ∨ q y se lee p o q.
Ejemplo: “Eliana viajará al Corinto o a Florida”

r: Eliana viajará al Corinto

s: Eliana viajará a Florida
Simbología: “r ∨ s”
Tabla de verdad

La condicional: es la proposición compuesta que resulta de conectar dos

proposiciones, p y q, mediante el conectivo → que significa “si… entonces…”
Esta proposición compuesta de denota por 𝑝 → 𝑞 y se lee p implica q.
En esta proposición compuesta, la proposición simple p se llama
antecedente, mientras que la proposición simple q se llama consecuente.

Ejemplo: “Si 12 es un número par entonces es divisible entre 2”

p: 12 es un número par……………….… (Antecedente)

q: 12 es un número divisible entre 2…… (consecuente)
Tabla de verdad Simbología: “p → q”

La bicondicional: es la proposición compuesta que resulta de conectar

dos proposiciones, p y q, mediante el conectivo ↔ que significa “… si y
solo si…” Esta proposición compuesta se denota por 𝑝 ↔ 𝑞 y se lee p si y
solo si q.

Ejemplo: “San Andrés es una isla si y solo si está rodeada de agua”

p: San Andrés es una isla

q: San Andrés está rodeada de agua
Simbología: “p ↔ q”
Tabla de verdad

Tautología

Repetición innecesaria de un pensamiento usando las

mismas o similares palabras y que, por tanto, no avanza
información; fórmula bien formada que resulta verdadera
para cualquier interpretación; es decir, para cualquier
asignación de valores de verdad que se haga a sus
fórmulas atómicas. La construcción de una tabla de
 NUCLEO DE MATEMÁTICAS
INSTITUCIÓN EDUCATIVA AGROPECUARIA
CARRIZALES
6
verdad es un método efectivo para determinar si una fórmula cualquiera es una tautología o
no.

Equivalencia

Relación de igualdad en cantidad, función, valor, potencia

o eficacia entre personas o cosas; En lógica, las
declaraciones p y q son lógicamente equivalentes si
tienen el mismo contenido lógico. Este es un concepto
semántico, dos afirmaciones son equivalentes si tienen el
mismo valor de verdad en todos los modelos.
La equivalencia lógica de p y q algunas veces se expresa
como 𝑝 ≡ 𝑞, Epq, o 𝑝 ⇔ 𝑞. Sin embargo, estos símbolos
también se usan para la equivalencia material; su
apropiada interpretación depende del contexto.

Contradicción

Acción de contradecir o contradecirse;

En lógica, una contradicción es una
incompatibilidad entre dos o más
proposiciones. Por ejemplo, las
oraciones «llueve y no llueve» y «ni
llueve ni truena, pero llueve y truena»
expresan contradicciones.
En lógica proposicional, una
contradicción se define como una fórmula que resulta falsa para cualquier interpretación, es
decir para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.
Por ejemplo, la siguiente tabla demuestra una contradicción:

Contingencia

p q r (q ν r) P ^ (q ν r)
Se entiende por verdad contingente, o verdad de
hecho, aquella proposición que puede ser verdadera V V V V V
o falsa, (combinación entre tautología y V V F V V
contradicción) según los valores de las
V F V V V
proposiciones que la integran.
V F F F F

Sea el caso: p ^ (q ν r) F V V V F

F V F V F

F F V V F

F F F F F
 NUCLEO DE MATEMÁTICAS
INSTITUCIÓN EDUCATIVA AGROPECUARIA
CARRIZALES
7
Actividades
1. Leo, analizo y realizo un mapa conceptual con la información dada de la lógica
matemática.

2. Escribo 3 proposiciones simples y 3 proposiciones compuestas. Doy el valor de verdad a

las proposiciones planteadas.

3. Expreso mediante fórmulas proposicionales las siguientes afirmaciones. En cada caso

indíquese el significado que se asigna a las variables proposicionales (p, q) utilizadas.

Ejemplo:

P: El sol brilla hoy

q: Mañana es sábado

Si el sol brilla hoy, entonces mañana no es sábado R/ p → ⌐q

a) Anderson tiene celos de Karen o no está de buen humor hoy

b) Cuando la presión atmosférica baja, entonces hoy llueve toda la tarde
c) No vi la película, pero leí la novela
d) No habrá cura para el cáncer si y solo si se cree un nuevo medicamento.
e) Mi hermana tiene un gato blanco y un perro negro.

4. Determine el valor de verdad de las proposiciones siguientes haciendo uso de las tablas
de verdad para la conjunción, disyunción, condicional y bicondicional. Además indique si
el valor de verdad final es una tautología, contradicción o contingencia.

Ejemplo: el valor de verdad de la proposición es

Nota: para determinar el valor de verdad de esta

proposicion compuesta, primero se opera el conector
condicional (→), luego el conector conjunción (∧) y por
último el conector condicional (→)
En este caso el valor de verdad es una tautología, ya que
su valor de verdad final es todo verdadero.

a) ¬p → q ∨ r
b) p∨q→r
c) (p → q) ∧ (p ∧ r)
d) p ∨ ¬q ↔ r
e) (p ∨ q) ∧ (p → r)

5. Planteo y resuelvo 3 ejercicios como en el punto anterior, además indico si el valor de

verdad final es una tautología, contradicción o contingencia.