Академический Документы
Профессиональный Документы
Культура Документы
EJERCICIOS
SI SON PROPOSICIONES
PORQUE ES UNA ENUNCIACIN QUE NIEGA O AFIRMA ALGO.
1.Juan trabaja
2.Marcos es primo de Maribel
3.4 es un nmero impar
4.El duplo de 10 es 20
5.X > 44
6.Aquello no es azul
7.Algunas aves no vuelan
8.Ningn nmero par es menor que dos
9. 5+6 11
10.Todos los polticos aman la paz
NO SON PROPOSICIONES
PORQUE NO AFIRMAN, NI NIEGAN NADA, NI PUEDE DECIRSE DE
ELLAS QUE SEAN VERDADERAS, NI FALSAS.
1.Donde esta Juan?
2.Vete a tu asiento!
3.Tal vez te encontremos
4.Me gustara pasear contigo
5.Que hermosura de da!
6.El cuadrado de 35
7.Las aguas del mar
8.El nio que esta estudiando
9.(3+9) x 3
10.1 + 1
PROPOSICIONES ATMICAS
1.Martha baila
2.Juan es hermano de Lorena
3.El cuadrado de 2 es 4
4.4 < 40
5.9 es un nmero par
6.Pablo se encuentra entre Juan y Roberto
7.Esto es una casa
8.La madre de Miguel es Marlene
9.5 Z
10.Aquello es amarillo
2.Juan y Lorena
son trabajadores
y Eduardo
son Ingenieros
CONECTIVAS
NEGACIN(no ,es falso que,no es cierto que,no sucede que)
a)Susi estudia
1.Susi no estudia
2.No es cierto que
3.No sucede que
Susi estudia
Susi estudia
Susi estudia
b)Nosotros estudiamos
5. Nosotros no estudiamos
6. No es cierto que
7. No sucede que
nosotros estudiamos
nosotros estudiamos
es un nmero par
5 es un nmero par
5 es un nmero par
5 es un nmero par
= 4
6 < z
CONJUNCIN ( ^ )
1.Juan canta y estudia (p ^ q)
3.Lorena sonre y x + 2 = 7 (r ^ s )
DISYUNCIN ( V )
1.Maana llueve o hace sol (p v q)
CONDICIONAL( )
1.Si x + 2 = 7, entonces z > 9 (p r)
BICONDICIONAL()
1. Z > 9 si y solo si Z > 9 (p q)
3. 2 + 3 = 5 si y solo si 2 < 10 (p q)
2.(p V q) V(qV p )
3.[(P V q ) ^ ( q V p)] p
CONTINGENCIA
1.(P v q )
2.(P V P) ^ (q V p)
3.(p V p ) ^ (q V q )
CONTRADICCIN
1. q ^ q
2.(P ^ q) v p
3.(P ^ q) ^ q
EJERCICIO 1
(pVq)pq
Si se escriben las tablas de verdad para P=(pVq) y Q=pq, se puede
verificar que ; a partir de cualesquiera valores de verdad para p y q, P y Q
son ambas verdaderas o P y Q son ambas falsas.
Si p entonces q y si q entonces p.
La tabla de verdad muestra que
pq (pq) (qp)
SIMPLIFICACION de PROPOSICIONES
En esta seccin explicaremos los siguientes ejercicios:
Para realizar estos ejercicios es necesario plantear las leyes de
proposiciones.
EJERCICIO N .- 1<>BR
EXPLICACIN
PASO1.- Aplicamos
[ Morgan]
^ [( qvr) ^Morgan]
PASO4.- Aplicamos
1 ^
PASO5.- Aplicamos
PASO6.- Aplicamos
[condicional]
[asociativa]
^ [idenpotencia v p vq]
[ qvr] ^
[asociativa v q]
[ qvr] ^
[ qvr] ^
[Morgan v q ]
[conmutativa]
[ asociativa] ^ complemento
PASO8.- Aplicamos
[ conmutativa ]^1
PASO9.- Aplicamos
(complemento) ^ 1
PASO10.-- Aplicamos
resultado
EXPLICACIN
[ complemento] ^
^ [ qvr]
1 ^
1 ^
PASO7.- Aplicamos
EJERCICIO N.-2
PASO1.- Aplicamos
[(pvq)
(Morgan)]
PASO2.- Aplicamos
[Complemento]
[(condicional)
(condicional)]
[(conmutativa )
[(p v morgan )
(p v 0 )
^
^
( pv1)]
(p v 1)]
complemento
EJERCICIO N.-3
EXPLICACIN
PASO1.- Aplicamos
[idempotencia]
PASO2.- Aplicamos
[(morgan^morgan)
PASO3.- Aplicamos
PASO4.- Aplicamos
resultado
[(p ^ q)
v (pvq)]
v (morgan ^ morgan)]
EJERCICIOS PROPUESTOS
a.En el siguiente listado verificar si son o no son proposiciones.
1.Marcos esta en su casa
2.La casa de la montaa
3.4 + 6 + 45
4.El doble de 23
5.Caminemos ms lento!
6.Donde te encuentras?
7.Regrese a su puesto!
8.Dios mo!
9.7 N
10.Los polticos de Ecuador
^ [ qvr]
^ [p v p vq]
2. qvr) ^1]
[pv(pv(pvq))]