ALGEBRA I

Lógica proposicional PRACTICO Nº1

TEORIA
a) Que es una proposición?
b) Que entiendes por conectivo lógicos? ¿Cuáles conoces?
c) Que es una proposición atómica y una molecular?
d) Que es una tabla de verdad?
e) En las proposiciones condicionales, que entiendes por recíproca, contraria y contra recíproca?
f) Cuando dos fórmulas proposicionales son lógicamente equivalentes?
g) Define, Tautología, Contradicción y Contingencia.

1.- Dados los siguientes enunciados, indique cuáles son proposiciones y cuáles no.
a) Presione escape para salir de la aplicación
b) Buen día!
c) Hoy es sábado
d) 2+3=6
e) Te callas!
f) Los números reales incluyen a los enteros
g) 20 no es múltiplo de 4
h) x+2=10
i) Algunos números naturales son negativos
j) 7 es múltiplo de 14 y de 35
k) 8 es un número grande

2.- Dadas las siguientes proposiciones, identifique y simbolice las proposiciones atómicas participantes y luego
simbolice la proposición molecular. En las proposiciones condicionales escriba recíproca, contraria y contra recíproca

a) No es cierto que no haya estudiado para el examen, pero me van a reprobar igual
b) Tiene voluntad sin embargo no sabe estudiar
c) Sé aplicar el teorema aunque no sé demostrarlo
d) Newton dice la verdad si la física clásica es absoluta
e) Si eres puntual iremos juntas pero si llegas tarde me iré con Inés
f) La leche no es nutritiva o no tiene proteínas
g) Me voy a casa y preparo la cena, si la temperatura del mar está muy baja
h) Si ha llegado el invierno y los días son más cortos; dormiré más
i) Si esas nubes se mueven en esa dirección lloverá, y no habrá futbol
j) El avión no despegará a las 5 de la mañana si la neblina cubre el aeropuerto y no deja de llover
k) Este café o es de producción nacional o es importado

3.- a) Sabiendo que (p  ~q)  (~r  s) es falsa, encuentre el valor de verdad de las proposiciones participantes

b) Se sabe que
 
 p  q   r   r  q   p 
es verdadera .Determine el valor de verdad de p, q, y r
  p  q     q  r      p  s 
c) Se sabe que la negación de   es verdadera. Determine el valor
de verdad de p, q, y r
4.- Determine cuáles de las siguientes fórmulas proposicionales son lógicamente equivalentes:

~(p  q), [(p  q)~q] [(~p~q)~q] , ~[(p  q)  q] ~q  (~p  q)] , ~(~p  q)

a) b) c)

5.- Dadas las fórmulas proposicionales siguientes,

i. Construya la correspondiente tabla de verdad.
ii. Simplifique aplicando leyes lógicas.
iii. Clasifique en Tautología, Contradicción o Contingencia.

a) [(~p  q)  (r  ~r)]  ~q b) ~ [(~p  q)  p] q c)

{[p  (q~p)]~q}  ~(p  q)

[(~p  q)  (q  r)]  ~(p ~r)   r  q     q r   p  q     p  q     q  p    p  q 

d) e)   f)  

6.- Dados los enunciados siguientes,

i) Simbolizar ii) Negar lo simbolizado iii) Traducir al lenguaje natural lo negado, enunciándolo de la mejor
manera posible (utilice leyes lógicas de ser necesario).

a) Si no hay ruidos y no estás sordo debes oírme

b) Tendrás tiempo de leer y mejorar sus notas, si deja ver la televisión
c) Atiendo las explicaciones, pero no entiendo.
d) El átomo no se ve, pero existe
e) Esta proposición es atómica o molecular
f) No estudie para el examen porque; llegaron muchos clientes y trabaje hasta tarde