practica tablas de verdad

Practica:
Construya una tabla de verdad para cada una de las siguientes proposiciones compuestas:
a) Pv(q^r)
b) (pvq)^r
c) ¬(p^q)
d) ¬(p¬q)
e) (p->q)^(q->p)
f) ¬q->p

2. Convierta las siguientes proposiciones simbólicas compuestas.
a) Yo estudio en el colegio y me va muy bien en todas las materias
b) Yo estudio en el colegio o salgo mal en los exámenes
c) Si yo estudio mucho,entonces sacare buenas noches
d) si Sali mal en el examen, entonces yo no estudie
e) hoy saldré a jugar si y solo si termino la tarea
f) hoy no saldré a jugar si y solo si no termino la tarea
g) yo voy al colegio y me va muy bien en todas las materias si y solo si yo estudio
h) Felipe saldrá a dar un paseo si y solo si la luna esta brillando
i) si esta nevando y la luna no esta brillandoentonces Felipe no saldrá a dar un paseo
j) Esta nevando pero aun así, Felipe saldrá a dar un paseo

3. Sea p, q y r las siguientes proposiciones simples:
P: Felipe sale a dar un paseo->T
Q: La luna esta brillando-> F
R: Esta nevando->F


4. Construya una tabla de verdad para cada una de las siguientes proposiciones compuestas
A)p¬
B) pv(qvr)
C)(q^¬r)
D)q->(¬->p)
E)¬(p(rvq)F)p(q^¬r)
G)p^(¬pvq
H) (p->q)(q->p)

Temas de examen
Objetivo:
Aplicar la lógica proposicional y la lógica de predicados en la determinación de la validez de una proposición dada
Contenidos
1 Introducción ala lógica y su fundamento
2 Conectivas básicas de la lógica
- negación
- disyunción
- conjunción
3- Leyes de Morgan
4 Proposiciones condicionales y equivalencias lógicas
5Razonamientos y demostraciones
6 Tablas de verdad
7 Tautología contradicciones y contingencias





Practica
Contruya una tabla de verdad para cada uno de las siguientes proposiciones compuestas :
a) Pv(q^r)
b) (pvq)^r
c) ¬(p^q)
d) ¬(p¬q)
e) (p->q)^(q->p)
f) ¬q->p
p
q
r
pvq
pvr
Pv(q^r)
v
v
v
v
v
v
v
v
f
v
v
v
v
f
v
v
f
v
v
f
f
v
f
f
f
v
v
v
v
vf
v
f
v
f
f
f
f
v
f
f
f
f
f
f
f
f
f

p
q
r
pvq
Q^r
(pvq)^r
v
v
v
v
v
v
v
v
f
v
f
f
v
f
v
v
f
v
v
f
f
v
f
f
f
v
v
v
v
v
f
v
f
v
f
f
f
f
v
v
f
v
f
f
f
f
f
f

p
q
(p^q)
¬(p^q)
v
v
v
f
v
f
f
v
f
v
f
v
f
f
f
v

p
q
¬p
(p¬q)
¬(p¬q)
v
v
f


v
f
f


f
v
v


f
f
f


Practica de tablasde verdad
1-p^q




p
q
p^q
v
v
v
v
f
f
f
v
f
f
f
f





2->((p^q)-->¬(pvq))
p
q
p^q
pvq
¬(pvq)
(pvq)-->¬(pvq)
>((p^q)-->¬(pvq))
v
v
v
v
f
f
v
v
f
f
f
v
f
v
v
v
v
v
f
f
v
f
f
f
f
v
f
v
f
v
f
f
v
f
v
f
f
f
f
v
f
v








3-(pvs)-->r
p
s
r
(pvs)
(pvs)-->r
v
v
v
v
v
v
v
f
v
v
v
f
v
v
v
v
ff
v
v
f
v
v
v
v
f
v
f
v
v
f
f
v
f
f
f
f
f
f
v


4-(p^r)v(s^p)
p
r
s
(p^r)
(s^p)
(p^r)v(s^p)
v
v
v
v
v
v
v
v
f
v
f
v
v
f
v
f
v
v
v
f
f
f
f
v
f
v
v
f
f
f
f
v
f
f
f
f
f
f
v
f
f
f
f
f
f
f
f
f


5-¬((avs)^a)-->(a^s)
6-(a^b)-->(c^d)
7-(avb)-->(cvd)
8-¬(¬(qvr)-->¬(avb)
9-((pvq)^a)-->((pvq)va)




Las reglasdel sistema L son:
1-Las variables proposionales del alfabeto de L son formulas bien formadas.
2-Si O es una formula bien formada de L, entonces ˹ O también lo es
3-Si O y U son formulas bien formadas de L, entonces (O ˄ U) (O ˄ U) (O → U) (O ↔ U) también lo son
4-Solo las expresiones que pueden ser generadas mediante las clausulas 1-3 en un numero finito de pasos son formulasbien formadas de L.
Según estas reglas, las siguientes cadenas de caracteres son ejemplos de formulas bien formadas.
P
˹˹˹q
(p˄q)
˹(p˄q)
(p↔˹q)
((p↔q)˄p)
(˹(p˄(q˅r))˅S)
Y los siguientes son ejemplos formulas mal formadas
Formula error Correccion
(p)...