Programacion

Ejercicios lógica de proposiciones
1.- simboliza las siguientes proposiciones
a) Si no estuvieras loca no habrías venido aquí
a=estar loca
b= venir aquí
¬a→¬b

b) No me gusta trasnochar nimadrugar
a= madrugar
b= trasnochar
¬(a^b)

c) No vi la película pero leí la novela
a= ver la película
b= leer la novela
¬a v b

d) No es cierto que viese la película y leyese la novela
a= verla película
b= leer la novela
¬(a^b)
e) Tu estas equivocado o es falsa la noticia que has leído
p= estar equivocado
q= la noticia que haz leído
pv¬q

f) está lloviendo y nevando o estásoplando el viento
p= está lloviendo
q= está nevando
a= está soplando el viento
(p^q) v a

g) Si hay verdadera democracia entonces no hay detenciones arbitrarias ni otras violaciones de los derechosciviles
p= hay verdadera democracia
q=hay detenciones arbitrarias
a= otras violaciones de derechos civiles
p→¬(q^a)
h) Daniela hará el doctorado cuando y solamente cuando obtenga la maestríaa) Daniela hará el doctorado
b) Obtenga la maestría
a↔b

2. Simboliza
a) Si p, entonces q
p→q
b) p solamente si q y no-r
(q^¬r) →p
c) No es el caso que p y q
¬(p^q)
d) Si p y qentonces no-r o s
(p^q)→ ¬(r v s)
e) Si p entonces q, y si q, entonces p
(p→q) ^(q→p)
f) Si p y q entonces r.p. luego si q, entonces r
((p^q) →rp) → (q→r)
g) Si p y q entonces r, si r y s entonces t,luego si p y q y s, entonces t
((p^q) →r)((r^s) → t) →((p^q^s) →t)

3. Enlaza cada proposición con su formalización

3
3
5
5

1
1

2
2

6
6

4
47
7

2
2

4
4

1
1

3
3

3
3

4
4

1
1

2
2

1
1

3
3

2
2
4
4

5
5



4. Realiza las tablas deverdad para resolver los conectivos


F
F
V
F
F
F
V
F
F
F
V
V
F
F
V
V

F
V
F
V
F
V
F
V

F
V
F
V
F
V
F
V

V
V
V
V
V
V
V
V

V
V
V
V
V
V
V...