Está en la página 1de 1

EL LENGUAJE DE LA LGICA PROPOSICIONAL: FRMULAS (1)

ARACNE
(Mara Manzano)
Alumn@

1. Sin alterar el orden de los signos, transformad las sucesiones de signos siguientes en
frmulas cuya forma lgica sea un condicional, utilizando parntesis cuando sea
necesario.
a. p r p q
b. p r r
c. p q p p
d. q s p r
e. p r q r
2. Son frmulas las siguientes filas de signos?.
Verdadero Falso
a
b
c
d
e
a. p p
b. p q p q
c. p p r r
d. p q r r
e. p q r p r q r
3. Construid el rbol genealgico de las frmulas siguientes.
a. p p r q r
b. p p p q q
c. p q
d. p p r r q
e. p q r p q
4. Aadid parntesis a la siguiente expresin
p q s s p q
para que se convierta en una frmula cuya forma lgica sea:
a. la negacin de un condicional
b. un bicondicional
c. la negacin de una conjuncin
d. una disyuncin
e. la negacin de una disyuncin