Simbolización de Proposiciones Logicas Ejemplos Resueltos

Simbolizar los siguientes enunciados.

Ejercicio 01:

Llueve y las brujas no se peinan o bien hace sol y las brujas no se peinan.
A) (p∧r)∧(q∧r)
B) (p∧r)∨(q∧r)
C) (p∧~r)∨(q∧~r)
D) (p∧~q)∨(r∧~q)
E) (p∧q)∨(r∧q) 

Ejercicio 02

Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como una regadera y dejaría que me internaran en un psiquiátrico.

A) (p ⋁ q) ⋁ (r ⋀ s)

B) (p ⋁ q) ⋀ (r ⋀ s)

C) (p ⋁ q) → (r ⋀ s)

E)  p ⋁ q → r ⋀ s

Ejercicio 03

Si no es cierto que las estrellas emiten luz y que los planetas la reflejan, entonces éstos no giran
alrededor de ellas.

A)  (~p∧q) → ~r

B) ~[(p∧q) → ~r]

C) ~(p∧q) → ~r

D) (~p∧q) → r

 E) (~p∧q) → ~r

Ejercicio 04

Si viene en tren, llegará antes de las seis. Si viene en coche, llegará antes de las seis. Luego, tanto si
viene en tren como si viene en coche, llegará antes de las seis: 

A) [p⋀(r→q)]→[(p⋁r)→q]

B)[(p→q)→(r→q)] → (p⋁r→q)

C) (p→q)⋀(r→q)→(p⋁r)⋀q

D) [(p ⋀ q) ⋀ (r → q)] → [(p ⋁ r) → p]    E) [(p → q) ⋀ (r → q)] → [(p ⋁ r) → q]

Ejercicio 05

Si no apruebas o no resuelves este problema, entonces es falso que, hayas estudiado o domines la deducción lógica. Pero no dominas la deducción lógica aunque has estudiado.

A)[(~p ∨ ~q) → (~r ∨ s)] ⋀ ~s ⋀ r

B) [(~p ∨ ~q) → (~r ∨ s)] ∨~s ⋀ r

C) [~(p ∨  q) → ~(r ∨ s)] ⋀ ~s ⋀ r

D) [(~p ∨ ~q) → ~(r ∨ s)] ⋀ ~s ⋀ r

 E)[(~p ∨ ~q) → ~(r ∨ s)] ⋀  s ⋀ r

Ejercicio 06

El contrarrecíproco de la siguiente proposición: “si x es un cuadrilátero, entonces no es un triángulo  y tiene 4 lados” es:
A) Si x es un triángulo y no tiene 4 lados, entonces no es un cuadrilátero.
B) Si x no es un triángulo o no tiene 4 lados, entonces es un cuadrilátero.
C) Si x no es un triángulo o tiene 4 lados, entonces es un cuadrilátero.
D) Si x no es un triángulo o no tiene 4 lados, entonces no es un cuadrilátero.
E) Si x es un triángulo o no tiene 4 lados, entonces no es un cuadrilátero.

Ejercicio 07

No es un buen deportista pero sus notas son excelentes. Es equivalente a:
A) No es cierto que, sea un buen deportista o sus notas sean excelentes.
B) No es cierto que, sea un buen deportista o sus notas no sean excelentes.
C) No es cierto que, no sea un buen deportista o sus notas no sean excelentes.
D) No es cierto que, no sea un buen deportista o sus notas sean excelentes.
E) No es cierto que, es un buen deportista y sus notas no sean excelentes.

Ejercicio 08
Indique  cuáles  de  las  siguientes  proposiciones corresponden a la función lógica ∼ (p ∨ q).
I. Si arroja basura aquí se multa
II. Prohibido arrojar basura o desmonte
III. Prohibido arrojar basura y desmonte
A) Solo I     B) Solo II       C) Solo III     D) I y II      E) II y III



Ejercicio 09
Establecer  la  conclusión  de  los  siguientes  argumentos lógicos “si los alumnos realizan preguntas, entonces aprenderán bastante. Si los alumnos leen a menudo, ellos realizarán preguntas”.
A) Si los alumnos aprenden entonces realizan preguntas
B) Si los alumnos realizan preguntas entonces leen a menudo
C) Si los alumnos aprenden bastante entonces leen a menudo
D) Los alumnos no leen a menudo
E) Si los alumnos leen a menudo entonces aprenderán bastante

--
Ejercicios resueltos de formalizacion de proposiciones lógicas, formalizacion de inferencias. Ejemplos de lógica matemática, lógica proposicional. Problemas de simbolizar enunciados lógicos nivel preuniversitario.