Ejercicios. 1 3 2 8 7 4 6 51) [ (p q) V (q => p) ] ~[(p => q) (p V q) ] pq123 45678

VVVVVVVVFF

VFFVVFVFVF

FVFFFVVVFV

FFFVVFFFVV

1322) (p ~q) => (~p V q) pq~p~q 123

VVFFFVV

VFFVFFV

FVVFFVV

FFVVFFV

2 1 7 6 3 5 43) [ p (~q => p) ] ~[ (pq) => (q V ~p) pq~p~q1234567

VVFFVVVVVFF

VFFVFFFFVFF

FVVFVFFVVFF

FFVVVFVFFVF

2 15 3 44) [ p V (p => q) ] [ (~p V q) => ~p ] pq~p12345

VVFVVVFF

VFFFVFVV

FVVVVVVV

FFVVVVVV

1 4 32 6 55) [ (~p ~q) ~( p q ) ] V (~q p) pq~p~q123456

VVFFFVFFFF

VFFVFFVFVV

FVVFFFVFFF

FFVVVFVVFV

3 126) q => [ ( p q ) p] pq123

VVVVV

VFFFV

FVFVV

FFFVV

1 32547) [ (p V q) => ( q r ) ] ( p => r) pqr12345

VVVVVVVV

VVFVFFVF

VFVVFFFV

VFFVFFFV

FVVVVVVV

FVFVFFVF

FFVFFVVV

F FFFFVV V

1 4 328) ( p V q ) ~( ~p ~q ) pq~p~q1234

VVFFVFVV

VFFVVFVV

FVVFVFVV

FFVVFVFV

2 1 4 39) ~( ~p V ~q ) ( p q ) pq~p~q1234

VVFFFVVV

VFFVVFFV

FVVFVFFV

FFVVVFFV

1 2 6 5 4 3 10). [ ( p => q ) V r ] [ r => ~( p V ~r ) ] pqr~r123456

VVVFVVVFFF

VVFVVVVFVV

VFVFFVVFFF

VFFVFFVFVV

FVVFVVFVVV

FVFVVVVFVV

FFVFVVFVVV

F FFVVVV FVV

1 3 2 6 4 5 11). [ ( ~p r ) ( ~r q ) ] V [ (~r ~q ) => ~p ] pqr~p~q~r123456

VVVFFFFFVFVV

VVFFFVFVFFVV

VFVFVFFFVFVV

VFFFVVFFVVFV

FVVVFFVFFFVV

FVFVFVFVFFVV

FFVVVFVFFFVV

FFFVVVFFVVVV

1 3 2 7 4 65 12). [ ( p => ~r ) ( r V q) ] [ (~q => v ) V ( ~r => p) pqrv~q~r1234567

VVVVFFFVFVVVF

VVVFFFFVFVVVF

VVFVFVVVVVVVV

VVFFFVVVVVVVV

VFVVVFFVFVVVF

VFVFVFFVFFVVV

VFFVVVVFFVVVF

VFFFVVVFFFVVF

FVVVFFVVVVVVV

FVVFFFVVVFVVV

FVFVFVVVVFFVV

FVFFFVVVVFFVV

FFVVVFVVVVVVV

FFVFVFVVVFVVV

FFFVVVVFFVFFV

FFFFVVVFFFFVF

Ejercicios:1) (p q) (~p V ~q) = contradiccin.2) ~(p q) (~p V ~q) = tautologa.3) ~p => [q (p V q)] = semitautologa.4) (p V q) (p q) = contradiccin.5) [(p V q) ~p] => (p => q) = tautologa.6) [(p => q) (q => r)] => [p => r) = tautologa.7) (p q) => (p V q) = tautologa.8) [p => (p q)] => [p => (p V q) = tautologa.9) ~ [p => (p q)] => [p => (p V q)] = tautologa.10) (p ~p) (p V q) = contradiccin.11) [(p => r) V (s q)] (p V q) = semitautologa.12) [(r V s) (q r)] => [(s p) (r => p)] = semitautologa.13) [~p => (r V~s)] [(~q => ~r) (q s)] = contingencia.

Determinar el valor de Verdad de una proposicin, dados dos valores as: 1) Qu valor tiene una proposicin p, si se sabe que (p V q) es una proposicin falsa y que adems es falsa?

2) Qu valor de verdad tiene una proposicin p, si se sabe que la proposicin (p q) es verdadera y que q es tambin verdadera?

3) Qu valor de verdad tiene una proporcin r, si se sabe que (~p => r) es falsa y que p es falsa?

4) Qu valor de verdad tiene una proposicin s, si se sabe que (r ~s) es falsa y que r es falsa?

5) Qu valor de verdad tiene una proposicin p, si se tiene que (p V ~r) es verdadera y que r es falsa?

Determinar el valor de verdad de las siguientes proporciones compuestas, dado el valor de verdad de cada proporcin simple.1) Se p es verdadera, q & r son falsas, cual es el valor de verdad para las siguientes proporciones.i) (~p => q) [r V (p ~q)]

ii) [(~r V ~q) => p] V [ q V (~r p)]

2) Si p & q son falsas, r & s son verdaderas, Cul es el valor de verdad para las proposiciones?i) [(r V ~s) => (p r)] [q => (~p V s)]

ii) [(p r) (~s V p) V [(r V ~q) (~q p)]

iii) ~[p => ~(q r)] => [~(p V q) (r => ~s)]

3) Si p & r son verdaderas, q & s son falsas, Cul es el valor de verdad de las siguientes proporciones compuestas?i) [(~p => s) V (r => ~q)] [~(p V q) ~(~r => s)]

ii) [(~s V ~q) ~(~p => ~s)] => [(r => ~s) ~(~p)]

iii) ~[(p => s) V (~r q) ~[(~r V ~p) V ~(~s p)]

UNIVERSIDAD SAN CARLOS DE GUATEMALACENTRO UNIVERSITARIO DE PETNUSAC-CUDEPPROFESORADO EN ENSEANZA MEDIA EN MATEMTICA Y FSICAMATEMATICA I.

LIC. ALBERTICO TESUCUN.

TRABAJO:EJERCICIOS DE LOGICA MATEMATICA.

AARN VINICIO ALDANA DAZ----------------------------- 201444722

03 DE MAYO DE 2014.