Escolar Documentos
Profissional Documentos
Cultura Documentos
me compro zapatillas.
pvq :
11
MATEMTICA BSICA I
Ejemplo:
p
pq:
Antecedente
Consecuente
12
MATEMTICA BSICA I
Le regalar un chocolate.
pq :
pq
13
MATEMTICA BSICA I
1.3.5
EL
CONECTIVO
IMPLICACIN (
bicondicional
(p q)
BICONDICIONAL
DOBLE
implicacin
la
proposicin
(q p).
(~p
~q)
(p
q)
~p
~q
~p
~q
14
MATEMTICA BSICA I
EJERCICIOS PROPUESTOS
1.
Hace fro
La manzana es agradable
Juan es inteligente
Lorena es bonita
7.
~p
2.
8.
3.
ps
9.
~p s
4.
10.
~q
5.
11.
~q
6.
12.
3.
q
~r
~q
g)
~p
b)
h)
~r
c)
sp
i)
~s ~p
d)
j)
~s
e)
k)
~q
f)
r)
~s
~t
15
MATEMTICA BSICA I
una
proposicin
proposiciones simples
compuesta,
se
relaciona
con
otras
Ejemplos:
p
est lloviendo.
La fruta es deliciosa.
Juan es estudioso.
(p ~q) r
(q
~r)
EJERCICIOS PROPUESTOS
p
: est nevando.
: Antonio es inteligente.
: La rosa es bella.
p (q
2.
(r
~q) v p
3.
(p
~r) v (q
p)
4.
(p
r)
~p)
r)
(q
16
MATEMTICA BSICA I
A.
B.
C.
EJERCICIOS PROPUESTOS
Demostrar sus tablas
de verdades,
(~ p
q)
(p
~ q)
2.
~ (p
q)
(~p
~q)
3.
~ (p ~q)
(p
q)
4.
[(p q)
5.
~ [~ (p
(p q)]
q)]
(~p
p
~ q)
17
si son:
tautolgicas,
MATEMTICA BSICA I
2.
Idempotencia
p
Involucin
~ (~p)
3.
4.
5.
6.
7.
Asociativa
(p
q)
(q
r)
(p
q)
(q
r)
Conmutativa
p
Distributiva
(p
q)
(p
r)
(p
q)
(p
r) v (q
(q
r)
r)
Identidad
6.1
f f
6.2
6.3
6.4
7.2
~p
7.4
~f
Complemento
7.1
7.3
~~p
7.5
~v
~p
f
p
18
MATEMTICA BSICA I
8.
Leyes de Morgan
a)
b)
q)
~p
~q
c)
q)
~p
~q
~q
Implicaciones asociadas
pq
Recproca
qp
Contraria
~p~q
Contra-recproca
~q~p
pq
Recproca
~p~q
Recprocas
qp
Contrarias
Directa
Contrarias
9.
~q~p
Se puede demostrar, mediante tablas de verdades que las contrarecprocas: son tautolgicas.
19
MATEMTICA BSICA I
Demostrar:
1)
(p q)
2)
(~ p ~ q)
(~ q ~ p)
(q p)
20