Вы находитесь на странице: 1из 4

SED PITALITO. I.

E JORGE VILLAMIL CORDOVEZ


DOCENTE: MG. JUAN CARLOS CLAROS MOLINA.
MATEMÁTICAS. LÓGICA. 11°
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 correctos o no los programas; en ciencias naturales para sacar conclusiones de experimentos; en
ciencias sociales y en la vida cotidiana para resolver multitud de problemas.

Proposiciones
Una proposición es un enunciado del cual se puede afirmar si es verdadero o falso, pero no las dos cosas a la vez. Por esta razón las
preguntas, las órdenes y las exclamaciones no son proposiciones.

Proposición simple
Una proposición simple es aquella que se forma sin utilizar términos de enlace.

EJEMPLOS
Determinar cuáles de las siguientes expresiones son proposiciones.
a. Tokio es la capital de Japón. c. Cierre la puerta.
b. ¿Cuál es la raíz cuadrada de 576? d. 320 + 54 > 368.

Proposiciones compuestas
una proposición compuesta es aquella que se forma a partir de dos o más proposiciones simples que se relacionan mediante enlaces
denominados conectivos lógicos. Por ejemplo, la proposición "Un triángulo equilátero es equiángulo y en un cuadrado cada ángulo
interno mide 90°" es una proposición compuesta formada por las siguientes proposiciones simples:
 p: un triángulo equilátero es equiángulo.
 q: en un cuadrado cada ángulo interno mide 90°.
En este caso, las proposiciones p y q se unen mediante el conectivo lógico y.

Conectivos lógicos
Los conectivos lógicos son los términos de enlace que se utilizan para formar proposiciones compuestas. Cada conectivo lógico se
simboliza de una manera diferente y define una operación lógica según la función que cumple. Los conectivos lógicos son:
CONECTIVO OPERACIÓN
SÍMBOLO NOTACÍÓN LECTURA
LÓGICO LÓGICA
y CONJUNCIÓN  𝑝⋀𝑞 p y q
o DISYUNCIÓN  𝑝⋁𝑞 p o q
Si… entonces… IMPLICACIÓN, p implica q
 𝑝 ⇒ 𝑞
CONDICIONAL Si p entonces q
Si y sólo si DOBLE p si y sólo si q
IMPLICACIÓN,  𝑝 ⟺ 𝑞
p es equivalente a q
EQUIVALENCIA
No NEGACIÓN  ¬𝑝 No p; es falso que p

Ejercicios:
1. Formar proposiciones compuestas a partir de las siguientes proposiciones simples, simbolizarlas y escribir su lectura.
p: Mañana hay clase de Matemáticas.
q: La suma de los ángulos interiores de todo triángulo es 180°.
r: √16 = 3

2. Escribir la negación de p: el planeta más grande del sistema solar es Júpiter. Luego, determinar su valor de verdad.
3. Identificar las proposiciones simples (escribirlas) y simbolizar la proposición compuesta.
- "Un polígono es regular si y solo si sus lados tienen igual medida".
- “Si los gatos de mi hermana no soltaran tanto pelo me gustaría acariciarlos”.
- “Si y solo si viera un marciano con mis propios ojos creería que hay vida extraterrestre”.
OPERACIONES LÓGICAS
Conjunción
La conjunción es una proposición compuesta que se forma al enlazar dos o más proposiciones
simples mediante el conectivo lógico "y".

Una conjunción es verdadera cuando las dos proposiciones simples que la conforman son
verdaderas.
Disyunción
La disyunción es una proposición compuesta que se forma al enlazar dos proposiciones simples
mediante el conectivo lógico "o".

La disyunción es falsa cuando las dos proposiciones simples que la conforman son falsas.

Ejemplos: Determinar el valor de verdad de las proposiciones compuestas conformadas por las
siguientes proposiciones simples.

p: La ecuación 𝑥 2 + 𝑦 2 = 𝑎2 representa una circunferencia.


q: El radio de la circunferencia es 𝑎2 .
 p⋀q  p ⋁¬ q

Implicación
La implicación es una proposición compuesta que se forma al enlazar dos proposiciones simples
mediante el conectivo lógico "si... entonces”. En una implicación p → q, la primera proposición
simple p es el antecedente y la segunda proposición simple q es el consecuente. La implicación es
falsa cuando el antecedente es verdadero y el consecuente es falso.
Equivalencia
La equivalencia es una proposición compuesta que se forma al
enlazar dos proposiciones simples mediante el conectivo lógico
"si y sólo si".

Una equivalencia p ↔ q es verdadera cuando ambas proposiciones simples p y q son verdaderas o


cuando ambas proposiciones son falsas.

Ejercicios
4. Hallar los posibles valores de verdad de la proposición

5. Como parte de un juicio que se sigue a un sospechoso de robo, el fiscal asegura que: "Si el acusado
estuvo en el lugar de los hechos, entonces, es el responsable directo o el cómplice del robo".
 Identifica las proposiciones simples que se mencionan en la sentencia del fiscal.
 Simboliza la proposición compuesta que formula el fiscal.
 Construye una tabla de verdad para determinar los posibles valores de verdad de la sentencia
del fiscal.
 Clasifica la proposición compuesta en tautología, contradicción o contingencia.

6. Simbolizar y construir tabla de verdad para cada una de las proposiciones compuestas.
- “es falso que Mery no compra su vestido entonces no irá al bautizo, además bailará”.
- Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy loco y dejaría que me internaran en un
psiquiátrico.
- Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo que ir a trabajar.

A partir de las tablas de verdad de las operaciones lógicas, se pueden obtener los posibles valores de verdad de otras proposiciones
compuestas. Si todos los valores de verdad de una proposición compuesta son verdaderos, entonces, la proposición es una tautología;
si todos son falsos, la proposición es una contradicción, y si hay resultados verdaderos y falsos, la proposición es una contingencia.
Proposiciones con cuantificadores
Para formar proposiciones se utilizan las funciones proposicionales y los cuantificadores.
Funciones proposicionales
Una función proposicional es una expresión (formula) que tiene una o más variables que, al ser sustituidas por los elementos de un
conjunto de referencia, dan origen a una proposición. Las funciones proposicionales se representan con letras mayúsculas (P, Q, R, S)
en función de las variables correspondientes. Por ejemplo, la función proposicional "x es menor que 5" se puede representar como
P(x): x < 5, en donde x se puede remplazar por valores de cualquier conjunto numérico para formar una proposición.

Cuantificadores
Un cuantificador es una expresión que indica la cantidad de elementos que cumplen una proposición. Los principales cuantificadores
son el cuantificador universal "para todo" que se simboliza ∀ y el cuantificador existencial "existe algún" que se simboliza ∃. Para negar
una proposición con cuantificador universal se utiliza el cuantificador existencial y para negar una proposición con cuantificador
existencial se utiliza el cuantificador universal.

Negación cuantificador universal ~(∀𝒙 ∈ 𝑨: 𝑷(𝒙)) ↔ ∃𝒙 ∈ 𝑨: ~𝑷(𝒙)

Negación cuantificador existencial ~(∃𝒙 ∈ 𝑨: 𝑷(𝒙)) ↔ ∀𝒙 ∈ 𝑨: ~𝑷(𝒙)

Ejemplos:
 Convertir la función proposicional P(x) en una proposición anteponiendo un cuantificador. Luego, determinar su valor de
verdad. 𝑷(𝒙) = 𝒙𝟐 + 𝟐 ≤ 𝟐𝟎.
 Simbolizar la proposición "Todos los números reales son racionales". Luego, escribir su negación (simbólicamente y con lenguaje
ordinario).
EJERCICIOS (PAREJAS)

1. Resalta con color las expresiones que son proposiciones. 4. Escribe, en cada caso, los posibles valores de verdad de
𝒑, 𝒒 y 𝒓 para que se cumpla la condición dada.
 Medellín es la capital de Antioquia.  (𝒑 → ¬𝒒)⋀ 𝒓 es verdadera.
 ¡Que viva Colombia!  (𝒑⋀𝒒) ∨ 𝒓 es falsa.
 George Boole fue un matemático y lógico inglés.  (𝒑 ∨ ¬𝒓) ↔ 𝒒 es verdadera.
 ¿Qué es un número perfecto?
5. Escribe las siguientes proposiciones en lenguaje natural,
2. Determina el valor de verdad de cada proposición. teniendo en cuenta que N representa el conjunto de los
Justifica tu respuesta. números naturales y Z el conjunto de los números enteros.
∀𝒙 ∈ 𝑵: 𝒙 ≥ 𝟕
 Una conjunción es verdadera si al menos una de las  ∃ 𝒚 ∈ 𝒁: 𝒚 + 𝟐 ≤ −𝟏𝟎
proposiciones simples que la conforman es verdadera.  ∀𝒙 ∈ 𝑵: √𝒙 ≥ 𝟎
 Una proposición compuesta es tautología cuando  ∃ 𝒙, 𝒚 ∈ 𝒁: 𝒙 + 𝒚 = 𝒚 + 𝒙
todos sus posibles valores de verdad son verdaderos.
 Si p → q es falso. entonces, tanto p como q son falsas. 6. Simboliza las siguientes proposiciones con
 Si p → q es falso, entonces, p y q tienen diferentes cuantificadores.
valores de verdad.  Todo número entero impar es de la forma
2x + 1.
3. Clasifica las siguientes proposiciones según la operación  Existen números x, y tales que x + y = 0.
lógica que se aplica. Luego, simbolízalas y determina su  Todo número divisible entre 2 es par.
valor de verdad.
7. Simboliza la negación de las siguientes proposiciones y
 Si dos rectas son paralelas entonces tienen la misma determina su valor de verdad.
pendiente.  Existen algunos números racionales que son
 Un cuadrado es rectángulo y un rectángulo es menores que 1.
paralelogramo.  Todos los números naturales son divisibles entre 5.
 Un número x puede ser racional o irracional.  Existe un número que elevado al cuadrado es igual a
 Un triángulo es equilátero si y sólo si todos sus lados 3.
tienen igual medida.  Todos los números irracionales son reales.