2 Proposiciones

Facultad de Ingeniería
Curso de admisión
Pensamiento lógico matemático
Proposiciones
Para comenzar con el estudio de Lógica, es importante recalcar que esta área se centra en la
relación entre afirmaciones y no necesariamente en el contenido de éstas, es decir, por medio
de lógica determinaremos cuál es la consecuencia de una serie de afirmaciones; tener en mente
este proceso nos ayudará a entender y seguir demostraciones o procesamientos lógicos
cotidianos, como tomar una decisión.
Proposición: un enunciado declarativo que es verdadero o falso, pero no ambas cosas a la vez.
Recuerda que para identificar alguna proposición es útil preguntarse: ¿es verdadero que …? Y
siempre y cuando esto tenga sentido, sin importar la respuesta a la pregunta, la afirmación será
una proposición.
Ejemplo: Las siguientes oraciones son proposiciones, puedes hacer la prueba de la

pregunta ¿es verdadero que…?, y comprobar que son verdaderas o falsas (pero no
ambas)
1) Un pentágono tiene 5 lados.
¿es verdadero que un pentágono tiene 5 lados? Cierto
2) Todos los seres vivos volamos.
¿es verdadero que todos los seres vivos volamos? Falso
3) El agua de jamaica es de color rojo.
4) Estás inscrito en el curso de Pensamiento lógico-matemático.
Ejemplo: Las siguientes oraciones NO son proposiciones, puedes hacer la prueba de la
pregunta ¿es verdadero que…?, y ver que no tiene sentido:
1) Ve corriendo al parque.
¿es verdadero que ve corriendo al parque? No tiene sentido, por lo que no es una
proposición, este enunciado no es declarativo, es más bien un enunciado imperativo.
2) Porque hoy es domingo.
¿es verdadero que porque hoy es domingo? No tiene sentido, no es una proposición.
Por lo general, a las proposiciones se les asigna una letra para identificarlas, las más usadas son
𝑝, 𝑞, 𝑟 o 𝑠, aunque puedes utilizar aquella con la que te sientas más cómodo, a continuación un
ejemplo de los usos de esta notación:
Ejemplo: Notación de proposiciones

1) 𝑝: Un decágono tiene 5 lados.
2) 𝑞: En septiembre es tu cumpleaños.
3) 𝑟: El 10 y 12 son números pares.
Las proposiciones pueden unirse por conectores lógicos, los cuales se pueden clasificar como
unario o binario, dependiendo de cuántas proposiciones se ven afectadas por dicho conector.
El único conector unario es la negación, ya que sólo niega una oración; mientras que los binarios
conectan dos proposiciones, éstos son la conjunción, disyunción, la implicación (también
conocida como condicional) y la bicondicional (equivalencia), estos se describen en la siguiente
tabla para mayor comprensión.
Nombre Símbolo Lenguaje natural Tipo de conector

Negación ¬ no; no es cierto que… Unario
Disyunción ∨ O
Conjunción ∧ Y
Implicación ⟶ Si … entonces …
Binario
(condicional)
Bicondicional ⟷ … si y sólo si …
(equivalencia)
Dependiendo de la forma en que las proposiciones están con los conectores lógicos se les
clasifica como a continuación:
- Proposición simple o atómica: son aquellas proposiciones que no contienen algún

operador lógico.
Ejemplo: Proposiciones simples o atómicas

1) 𝑝: Todos los seres vivos respiran.
2) 𝑞: 15 es un número impar.
3) 𝑟: El día de hoy llovió.
2
- Proposición compuesta o molecular: son aquellas proposiciones que tienen algún
operador lógico.
Ejemplo: Proposiciones compuestas o moleculares

1) 𝑝: Las pizzas llevan queso y el pan es hecho con huevo.
La proposición 𝑝 puede verse como dos proposiciones unidas con el conector de la
disyunción (y): Las pizzas llevan queso y el pan es hecho con huevo.
𝑝1 : Las pizzas llevan queso
𝑝2 : El pan es hecho con huevo
𝑝 = 𝑝1 ∧ 𝑝2
2) 𝑞: El carro de María es blanco o negro.

La proposición 𝑞 son dos proposiciones unidas con el conector de la conjunción (o):
𝑞1 : El carro de María es blanco
𝑞2 : El carro de María es negro
𝑞 = 𝑞1 ∨ 𝑞2
3) 𝑟: Si hoy llueve entonces está nublado.

𝑟 está formada por dos proposiciones unidas con el conector de la implicación (si…
entonces …):
𝑟1 : Hoy llueve
𝑟2 : Hoy está nublado
𝑟 = 𝑟1 ⟶ 𝑟2
4) 𝑠: Me compro una casa si y sólo si me gano la lotería.

𝑠 tiene dos proposiciones unidas con el conector de la bicondicional (… si sólo si …):
𝑟1 : Me compro una casa
𝑟2 : Me gano la lotería
𝑠 = 𝑠1 ⟷ 𝑠2
5) 𝑡: No es cierto que la batería está cargada.

𝑡 tiene una proposición utilizando el conector de la negación (no es cierto que, aunque
también puede ser vista como “la batería no está cargada”):
𝑡1 : La batería está cargada
𝑡 = ¬𝑡1
Ahora bien, las proposiciones moleculares pueden contener más de dos proposiciones simples
utilizando más de un conector lógico, esto puede analizar en el siguiente ejemplo:
Ejemplo: Proposiciones con conectores lógicos
1) 𝑝1 : Los pizarrones son verdes
𝑝2 : Los pizarrones son blancos
𝑝3 : Las sillas son rojas
3
𝑝 = 𝑝1 ∨ 𝑝2 ∧ 𝑝3
La proposición 𝑝 quedaría estructurada como la siguiente clase:
Los
⏟ pizarrones son verdes 𝒐 blancos
⏟ 𝒚 las
⏟ sillas son rojas
𝑝1 𝑝2 𝑝3
2) 𝑞1 : El libro es de matemáticas
𝑞2 : El lápiz es de grafito
𝑞3 : Las hojas son de tamaño oficio
𝑞 = ¬(𝑞1 ∧ 𝑞2 ) ∨ 𝑞3
Para la proposición 𝑞 nos fijamos que hay una agrupación de dos proposiciones, la idea
sería considerarlas como una sola a la que se le aplica la negación:
No es cierto que ⏟ el libro es de matemáticas 𝒚 el
⏟ lápiz es de grafito , 𝒐 las
⏟ hojas son de tamaño oficio
𝑞1 𝑞2 𝑞3
Hay que considerar que la negación solamente la estamos aplicando para las dos
primeras proposiciones, es decir, no se niega a 𝑞3 .
3) 𝑟1 : En septiembre comienza el otoño

𝑟2 : El día está nublado
𝑟3 : Mi paraguas es verde
𝑟 = (𝑟1 ∨ 𝑟2 ) ⟶ 𝑟3
La proposición 𝑟 verbalizada es de la forma:
Si ⏟
en septiembre comienza el otoño 𝒚 ⏟el día está nublado , entonces ⏟
mi paraguas es verde
𝑟1 𝑟2 𝑟3

2 Proposiciones

Cargado por

Copyright:

Formatos disponibles

2 Proposiciones

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

2 Proposiciones

Cargado por

Copyright:

Formatos disponibles

Facultad de Ingeniería

Ejemplo: Las siguientes oraciones son proposiciones, puedes hacer la prueba de la

Ejemplo: Notación de proposiciones

Nombre Símbolo Lenguaje natural Tipo de conector

- Proposición simple o atómica: son aquellas proposiciones que no contienen algún

Ejemplo: Proposiciones simples o atómicas

Ejemplo: Proposiciones compuestas o moleculares

2) 𝑞: El carro de María es blanco o negro.

3) 𝑟: Si hoy llueve entonces está nublado.

4) 𝑠: Me compro una casa si y sólo si me gano la lotería.

5) 𝑡: No es cierto que la batería está cargada.

3) 𝑟1 : En septiembre comienza el otoño

También podría gustarte