Download PAP A. Con las proposiciones dadas forme las proposiciones

Document related concepts

Proposición wikipedia , lookup

Función proposicional wikipedia , lookup

Obversión lógica wikipedia , lookup

Contraejemplo wikipedia , lookup

Tabla de verdad wikipedia , lookup

Transcript
UNIVERSIDAD DE SAN CARLOS DE GUATEMALA.
PAP
HOJA DE TRABAJO
SECCION
HORARIO:
CURSO: MATEMATICA
NOV:
NOTA:
Fecha:
M.S.c.LIC. FREDY SANDOVAL
Nombre:
A. Con las proposiciones dadas forme las proposiciones compuestas que se le indica,
determinado su valor de verdad.
k: 20 es número par;
m: Anaranjado es color primario
n: 27 es múltiplo de 3
p : 6 es divisor de 54
q: El conjunto de los números naturales es finito
r: 77 es número primo.
1) k ^ m ( )
2) m v n ( )
3) n m ( )
4) q
( )
5) m V n ( )
6) p
( )
7) k ^ n ( )
8) p r ( ) 9) n V q ( )
10) n
B. Resuelva las siguientes proposiciones compuestas e indique si se trata de una
tautología, una contradicción o una contingencia.
1) ( m ^n )
……………………………………………
2) ( p
3) [( r
( p ^ q)…………………….
……………
^(s
^ q )…………………………………………….
4) ( p ^ ~q)
5) ( k ^ m )
(n
C. Con las proposiciones dadas forme las proposiciones que se le indica, determinando su
valor de verdad.
p: 24 es múltiplo de 3.
1) pV q
p
q
pVq
q: 35 es número primo.
2) q
r
q
r: Verde es color primario.
r
q
r
D. Resolver las siguientes proposiciones compuestas e indicar que tipo de proposición es.
1) ( p
R.________________
2) ( r
R.________________
E. Diga si el siguiente par de proposiciones dadas en cada caso es un par de proposiciones lógicamente equivalente.
1) [ p
2) (p
Si
Si
No
Si
No