Professional Documents
Culture Documents
l es un mueco de madera .. ( )
Per es anfitrin de III Cumbre del ASPA ( )
Quito es la capital de Venezuela ... ( )
L
O Ejemplos :
G No es cierto que , saturno sea el satlite de la tierra
I
C Si dos es un nmero primo entonces tiene slo dos
O divisores
S
2 es primo si y slo si 2 tiene dos divisores
ESQUEMA MOLECULAR
Ejemplos
Un esquema molecular posee un
p q q r
correspondiente valor de verdad y
r s s r w este depender de los valores de
verdad dados a cada variable
proposicional
p q p p
P P q P q r
El nmero de posibilidades V V V V V
para asignar valores de verdad V
V F V V F
a las variables F V V F V
F V F F
proposicionales depender de F F
F V V
cuntos sean estos.
F V F
F F V
F F F
PROPOSICIONES COMPUESTAS
TABLA DE VERDAD
NEGACIN DE UNA PROPOSICIN
p ~p
V F
De: Su negacin, es: F V
=
Ejemplos :
>
<
<
q : 7 + 8 < 10 V(q) = F
> ~q : 7+ 8 10 V(~q) = V
LA CONJUNCION Palabras equivalentes
Pero
Sin embargo
TABLA DE VERDAD Adems
No obstante
p q
p q Aunque
A la vez
V V V Ms an
V F F
EJEMPLO:
F V F
Cuatro es menor que siete, no obstante
F F F dos es numero natural
Ejemplos :
p : 2 es nmero par V(p)= V
q : 5 es nmero primo V(q)= V
p q : 2 es nmero par y 5 es nmero primo V ( p q ) = V
p:4<7 V(p ) = V
q : 10 < 6 V(q) = F
p q : 4 < 7 y 10 < 6 V( p q ) = F
TABLA DE VERDAD
LA DISYUNCIN INCLUSIVA
p q pVq
Ejemplos : V V V
V F V
1) F V V
p : 5 es un nmero primo V(p) = V
F F F
q : 10 es un mltiplo de 5 V(q) = V
V( p v q ) = V
LA BICONDICIONAL p q pq
V V V
V F F
Ejemplo :
F V F
5 > 6 si y slo si 2 - 3 > 5 + 3 F F V
Simbolice y seale el valor de Palabras equivalentes a si
verdad y solo si .
Resolucin .. si y solamente si .
p q ( p v q ) (~ p q )
V V V V V
V F V V V
F V V V V
F F F V F
Cuando en el resultado final, todos
CONTRADICCIN los valores de verdad son
FALSEDADES
p q [ ( p q ) V q] ~q
V V V F F
V F F F V
F V F F F
F F F F V
p q ( p q) v ( p q)
V V V V V
V F F F F
F V V V F
F F V V V
EJERCICIOS PROPUESTOS
1. Determinar la tabla de valores de verdad de
las siguientes proposiciones:
a) (pq) (p q).
b) [p(q p)] q.
c) [(q p) p] q.
d) [(p q) q] p.
e) (p q) ( p q).
f) [p (q r)] (r p).
g) (q r) (q p).
h) (p q) p.
2. Sean
p: 3 3;
q: 00 = 1;
r: 6 4 2 9.
a) (p q) r.
b) [(p q) r] p.
c) [r (p q)] (q p).
3. Si p = V, q = V , r = F , s = V y t = F. Hallar el valores de
verdad de la siguiente proposicin ( r q ) (p s )
RESOLUCIN
(r q ) (p s)
V V V F
V F
F
4. A partir de las siguiente condicin, determinar la verdad o falsedad
de cada una de las variables proposicionales:
[ ( p q ) ( q r ) ] es VERDADERA
RESOLUCIN
F F V V
5. Si la proposicin (p q) (r s) es
falsa.
Hallar el valor de verdad de los siguientes
esquemas:
a)(p q) q.
b)[(r q) p] [(q r) s].
c)(p q) [(p q) q].
Resuelva la prctica correspondiente a
proposiciones