MATEMÁTICA I - Lógica Proposicional - PRIMERO
MATEMÁTICA I - Lógica Proposicional - PRIMERO
MATEMÁTICA I - Lógica Proposicional - PRIMERO
LÓGICA PROPOSICIONAL
El gran filósofo Aristóteles de Estagira, “Padre de la Lógica”, escribió la obra “Organon”, palabra que
literalmente significa instrumento, y se entiende cómo el medio para el desarrollo de la ciencia y el
conocimiento. La lógica es, por tanto, el instrumento para desarrollar el pensamiento, el razonamiento
en base a las leyes lógicas.
Definición de Lógica.- La lógica es la ciencia formal que estudia los principios y procedimientos que
permiten demostrar la validez e invalidez de las inferencias o razonamientos deductivos.
Lógica de Proposiciones.- Es una rama de la lógica clásica que estudia las variables
proposicionales o sentencias lógicas, sus posibles implicaciones, evaluaciones de verdad y en algunos
casos su nivel absoluto de verdad. Algunos autores también la identifican con la lógica matemática, ya
que utiliza una serie de símbolos especiales que lo acercan al lenguaje matemático.
Proposición.- La proposición es una oración declarativa o aseverativa, que puede ser falsa o
verdadera pero no ambas a la vez.
Ejemplos:
1. La frase “1=1”es una proposición, puesto que puede ser verdadero o falso. Resulta ser un
enunciado verdadero.
2. La frase "1=0" también es un proposición, pero su valor de verdad es F.
3. El cuadrilátero es un polígono de cuatro lados. Es una proposición.
Todas las proposiciones son oraciones, pero no todas las oraciones son proposiciones, esto es las oraciones
interrogativas, exhortativas o imperativas, las desiderativas y las exclamativas o admirativas NO son
proposiciones.
Ejemplos.
1. ¿Qué es Lógica?
2. Debemos honrar a nuestros héroes.
3. Sea en hora buena.
4. ¡Por Júpiter! ¡Casi me saco la lotería!
5. Quizá llueva mañana.
6. "Haz los ejercicios de lógica" No es una proposición, puesto que no se le puede asignar ningún
valor de verdad (Está en modo imperativo, es una orden, y no una frase declarativa)
7. “Haz el amor y no la guerra” No es proposición, puesto que no se le puede asignar ningún valor
de verdad (También está en modo imperativo, es una orden, y no una frase declarativa).
Toda proposición es una oración aseverativa, pero no toda oración aseverativa es una proposición.
1
MATEMÁTICA I EFG
Para que una expresión lingüística sea proposición debe cumplir con los siguientes requisitos:
1. Ser oración.
2. Ser oración aseverativa, y
3. Ser o bien verdadera o bien falsa.
Diferencia entre Enunciado y Proposición
Enunciado: Denominamos asís a toda frase u ración.
Por ejemplo:
1. ¡Auxilio, me ahogo! (Exclamativa)
2. No conversen en clase (Desiderativa)
3. Lima es la capital del Perú (Afirmativa)
4. ¿Qué día es hoy? (Interrogativa)
Enunciado abierto: Se llama así a aquellos enunciados que contienen una o más variables. Estos no
pueden ser ni verdaderos ni falsos, ya que no afirman nada.
Ejemplos:
X es la capital de Uruguay
X es un planeta del sistema solar
− 13 = 28
2 − 7 > 13
X es una vocal
2
MATEMÁTICA I EFG
Sin embargo, estos enunciados abiertos se pueden convertir en proposiciones verdaderas o falsas -
¿cómo? – reemplazando la variable o variables por un nombre, palabra, número, letra o cualquier
símbolo, según sea el caso. Así del primer ejemplo tenemos:
X es la capital de Uruguay
Si X=Buenos Aires entonces la expresión se lee:
“Buenos Aires es la capital de Uruguay”
Se observa el enunciado abierto se convirtió en una proposición falsa.
Proposición: Son aquellos enunciados afirmativos del cual se sabe que tiene dos valores de la verdad
mutuamente excluyentes: verdadero o falso. Las proposiciones se representan por las letras
minúsculas: p, q, r, s, t, .....
3
MATEMÁTICA I EFG
Las proposiciones simples (atómicas o elementales) Son aquellas proposiciones que tienen un
solo sujeto y un solo predicado. Carecen de conjunciones gramaticales típicas o conectivas (‘y’, ‘o’,
‘si... entonces’, ‘si y sólo si’) o del adverbio de negación ‘no’.
Ejemplos:
1. San Marcos es la universidad más antigua de América.
2. La lógica es distinta a la Matemática.
Las proposiciones simples de acuerdo a sus elementos constitutivos pueden clasificarse en
predicativas y relacionales.
Ejemplos:
1. El número 2 es par.
2. El espacio es relativo.
Las proposiciones relacionales constan de dos o más sujetos vinculados entre sí.
Ejemplos
Ejemplos:
1. La lógica y la Matemática son ciencias formales.
: La Lógica es una ciencia formal.
: La Matemática es una ciencia formal.
2. El tiempo es absoluto o es relativo.
: El tiempo es absoluto.
: El tiempo es relativo.
4
MATEMÁTICA I EFG
3. Si dos ángulos adyacentes forman un par lineal, entonces son suplementarios.
: Dos ángulos adyacentes forman un par lineal.
: Dos ángulos adyacentes son suplementarios.
4. Este número es par si y sólo si es divisible por dos.
: Este número es par
: Este número es divisible por dos.
5. El Inca Garcilaso de la Vega no es un cronista puneño.
: El Inca Garcilaso de la Vega es un cronista puneño.
5
MATEMÁTICA I EFG
!" !# : ,
Variables o letras proposicionales: , %, &, , !, ', , ( … ..
Símbolos de Conectivos: ∿, ∧, ∨, → , ↔
Signos de agrupación: , . /, 0 1
6
MATEMÁTICA I EFG
EJERCICIOS PROPUESTOS 1:
I. Dados los siguientes enunciados, diga ¿cuáles son proposiciones (P)? ¿Cuáles son enunciados no
proposicionales (ENP)? ¿Cuáles son enunciados abiertos (EA)?
II. Convierta cada uno de los enunciados abiertos de la pregunta I, en proposiciones verdaderas
y falsas.
x+2=5 v
P: 3
Q: 7
7x + 8 = 3x + 32 = 6 v
P: 6
Q:4
12 − x < 5 v
P: 9
Q: 3
7
MATEMÁTICA I EFG
del mundo ES EL MAS COMTAMINADO
F
6) 7 es un divisor de 87 F
IV. Dados los siguientes conjuntos y sus respectivos enunciados abiertos, verifique para qué valores
de “x” la proposición es verdadera.