Lógica matemática

Actividad. Presentación: Clase 2. Lógica proposicional

1ra sesión

En grupo máximo de tres estudiantes (3), resolver la siguiente actividad. Usar letra legible.

Curso: 4-22 Estudiantes: Yeison Smith Herrera

Luis Fernando Marín
Cindy Marcela Muñoz
Laura Vanessa Alonso

1. Identificación de proposiciones. Análisis estructural de las proposiciones. Identificar las partículas

fundamentales que constituye todo proceso del lenguaje. Completa el siguiente cuadro con la información
solicitada. Valor del numeral 1,5 puntos.
Proposición lógica: NO (no lo es), SI (sí lo es).
Tipo de proposición lógica: S (simple), C (compuesta).

Proposición Tipo de
No
Enunciado lógica proposición Conector lógico
.
NO SI S C
Ej. Si la temperatura baja a 0% entonces el agua se X X Condicional
congela
1 El cuadro de la Mona Lisa. x x
2 Ningún planeta conocido gira alrededor de un x x
satélite natural.
3 Alejandro Magno fue gobernante de Macedonia x x
4 2x + 3x = 5x x x
5 Si la Alemania nazi era una dictadura, entonces la x x Condicional
Alemania nazi infringía los derechos humanos.
6 6x ≥ 9y x x Disyunción
7 La selección colombiana de futbol no ha ganado el x x
campeonato mundial.
8 ¿Por qué la desigualdad frena el desarrollo? x x
9 El Teorema de Pitágoras. x x
10 Nelson Mandela fue el primer presidente de negro x x
de Sudáfrica.
11 La lógica es una ciencia formal si solo si analiza la x x Bicondicional
estructura de los argumentos.
12 Los ríos Hoang Ho y Nilo. x x Conjunción
13 Algunos científicos son ateos. x x
14 ¿Qué sucedió el once de septiembre de dos mil x x
uno?
15 La Luna gira alrededor de La Tierra y La Tierra x x Conjunción
gira alrededor del Sol.
16 El presidente de Colombia. x x
17 El Sacro Imperio Romano Germánico se desarrolló x x Disyunción
en Europa o Asia.
18 Roma es la capital de Italia. x x
19 El álgebra es un sistema axiomático si y sólo si la x x Bicondicional
 geometría también lo es.
20 El universo es infinito o el universo tiene límites. x x Disyunción
2. Sintaxis de la lógica proposicional o matemática. Identificar las reglas básicas para la formación correcta
de FBF y argumentar por qué razón algunas expresiones carecen de sentido dentro de la lógica
proposicional ¿Cuáles de las siguientes secuencias de símbolos son fórmulas bien formadas (FBF)?
Completa el siguiente cuadro. No necesita más espacio del ofrecido en el cuadro, economía del lenguaje.
Valor numeral 1,5 puntos.
FBF: F (falso), V (verdadero).

FBF
No. Expresión Explicación
F V
Ej. (p ∧ q) ¬ (p ∨ ¬q) X Segunda regla, un conector monádico, la negación, no
puede estar en medio de dos variables proposicionales.

1 (p ∧ q) [(p V ¬t) ∧ (q ↔ r)] Entre las variables (p ∧ q) y [(p V ¬t) ∧ (q ↔ r)], no hay
X un conector lógico

2 ¬p V ¬q ∧ ¬p V ¬t X

3 ¬¬ (¬p ∧ ¬q) ∨ (p ∧ ¬q) X

4 (t p ∧ q) → (~ t≤ ~ q) Entre las preposiciones t y p no hay un conector lógico.

X

5 [¬p ∧ (q ↔ r)] ∧ ¬p X

6 (p ∧ ¬q) ↔ ¬p → X
Después de la preposición ¬p esta sobrando el conector
condicional.

7 (¬s → p) ∧ (¬q ↔ r) → t X

8 ¬t¬ ∧ ¬s X
La negación debe de estar antes de la preposición, en este
caso hay una negación después de la preposición t.

9 ¬p ∧ (¬s t u) X
Entre las preposiciones ¬s, t, u no hay o no existe un
conector lógico
 10 ¬p → [(q ∧ r) ∨ ¬ (¬q V r)] X

3. Formalización de expresiones lingüísticas. Formaliza expresiones lingüísticas teniendo en cuenta las reglas
sintácticas establecidas para la correcta formulación de FBF. Utilizando las letras p, q, r, s y t formalice las
siguientes expresiones lingüísticas. En el caso de una proposición compuesta donde aparece únicamente
el conector de la conjunción, no es necesario agregar paréntesis. Valor numeral 2,0 puntos.

No
Expresión lingüística FBF
.
Ej. Antonio no tiene dinero, sin embargo, ya canceló la renta de p∧q∧r
su apartamento aun cuando esta semana no trabajó
1 Si Júpiter es un planeta del Sistema Solar, entonces Júpiter gira
p→ q
alrededor del Sol.
2 No es cierto que, el futbol no es un deporte o que el tenis de
¬ (¬p v q)
mesa es una ciencia.
3 Las sirenas tienen escamas si solo si no tienen plumas en su
p↔ ¬q
cuerpo.
4 No es el caso que, Sebastián es cantante y compositor; pero sí
¬ (p ∧ q∧ ¬r)
que Iván suele ir a cine y no comprar palomitas.
5 Roma fue la capital del Imperio Romano y París es la capital del
amor. Sin embargo, ni Roma gobierna sobre todo el p∧ q ∧¬ r∧ ¬ s
Mediterráneo ni París logra cautivar a todos los deprimidos.
6 Colombia reducirá la tasa de desempleo, únicamente en caso de
p ↔ q∧ r
que la corrupción disminuya y se invierta en iniciativas privadas.
7 Si mi esposa no cantara tan feo, entonces no tendría por qué
¬ p → ¬q
subir todo el volumen a la radio.
8 O estudias para el parcial o no apruebas la materia y no te ganas
( pV ¬ q)∧¬r
la beca.
9 Una figura geométrica es un cuadrado si y solo si todos sus
p↔ q
cuatro lados son iguales.
10 Si Carlos tiene mucho dinero, entonces no sería capaz de
gastarnos, pero si no tuviese mucho dinero, tampoco sería capaz (P → ¬q ¿ ∧(¬ p →¬ q)
de gastarnos.
11 No es posible afirmar que, La Atlántida existió y que se
¬ (p ∧ q)
encontraba en el Océano Atlántico.
12 Colombia no es una dictadura, pero existen pruebas de
¬p ∧ q
violaciones a los Derechos Humanos.
13 Si las pruebas médicas detectan contagio por coronavirus,
entonces los especialistas no recomiendan salir a la calle ni viajar P →(¬ q ∧¬r )
fuera de la ciudad.
14 Si Carlos y María viajan a Panamá, entonces yo iré a Ecuador.
p→ q
15 No es el cierto que, si el presidente y el ministro de hacienda son
¬ (p → q ¿
personas honestas, entonces la Luna es de queso.
16 Si Calixto no es ateo, entonces cree en un dios.
¬ p →q
17 No es cierto que, si una golondrina hace llover, entonces muchas
¬ (p→ q ¿ ∧r
producen un aguacero; y mi abuela me contaba mentiras.
18 Si la temperatura se dispara, entonces los glaciales se derretirán.
 p→q
19 O Antonio perdió el bus, o la reunión no empezará tan temprano
(p V ¬q) ∧ r
y Carlos madrugo mucho.
20 Colombia es uno de los principales productores de café del
p∧¬q
mundo, pero no es un productor significativo de plomo.