EJERCICIOS PROPUESTOS LOGICA

1. Simplificar las siguientes proposiciones compuestas

a) ( p → q ) ∨[( p → r)∧∼( p ∧ r)]

b) [ ( q →r ) ∧ (q ∧ r ) ] →[(r → p) ∧( p → r )]

c) [ ( p → r)↔( p ∧r ) ] ∧[( p → q)→ q]

d) [ (∼ p ∧∼ q )↔ ∼(q → p) ] ∆ {( p ∧∼q)∨∼[( p ∧ ∼q)∨(q → p)]}

2. Escribir la proposición correspondiente de los siguientes circuitos y

simplificar

a)

b)

c)

d)
 e)

3. Determinar por medio de una tabla de verdad, si cada una de las

siguientes proposiciones es una tautología, contradicción o contingencia.

a) [ ( r → p ) ∧ ( p ↔ q ) ] ∨[( p ∧r ) ∧( q → p)]

b) [ ( p∧ q ) → r ] △ [ r → ( p ∨ q ) ]

c) ( ∼ p →∼r ) ∆ [ ∼ ( p ∧q ) ∨→ ∼r ]

4. Demostrar la validez de los siguientes razonamientos

a) Si la enmienda no fue aprobada entonces la constitución queda como

estaba. Si la constitución queda como estaba, entonces no podemos

añadir nuevos miembros al comité. Podemos añadir nuevos miembros al

comité o el informe se retrasará un mes. Pero el informe no se

retrasará un mes. Por tanto, la enmienda fue aprobada.

b) 6 es impar si no es divisible por 2. 6 es divisible por 2. Luego, 6 no es

impar.

c) Si acudimos a la oficina de reclamos y llenamos la planilla explicando la

situación, resolveremos legalmente el problema. Si resolvemos

legalmente el problema, no tendremos que utilizar la fuerza. Pero,

tendremos que utilizar la fuerza. Por consiguiente, no es cierto que:

acudiremos a la oficina de reclamos y llenamos la planilla explicando la

situación.