Académique Documents
Professionnel Documents
Culture Documents
PRIMER DEBER:
p q [ ( q p ) ^ ( p q ) ^ ( q q ) ] p
V V V V V V V
V F V F F F V
F V F F V F V
F F V V V V V
1 2 1 3 1
[(pp) ^ ( pp)] C
[(p v p) ^ ( p v p) ] Condicional
[ (p ^ p) ^ ( p v p)] De Morgan, Idempotencia
p ^ p Identidad
C
p (p p ) p
Usando leyes de las proposiciones.
p ( p v p ) Condicional
pT Complemento
(pT)^(Tp) Bicondicional
( p v T ) ^ ( T v p ) Condicional
T^ (Cvp) Involucin
T^p Identidad
p Identidad
Usando tablas de verdad.
p P ( p p ) p
V V V
V V V
F F V
F F V
2 1
{[( p ^ q ) ( r ^ r ) ] ^ q } q
1 1 2 1 1 1 1 1
1. [( )( ) +( ) 3 +( ) 4 ] 2
2 4 125 81
1
3
= [(8)+(5)+(3)]
=4
2. [
(
3 8 3 1
9 3
1
( )+( )2.0 4^ (0.81)3)
46
1 2
51]
^
( 0. 5(1+ ) )
2
= [
(3
(8)(1) 1 20420
+ (
(9)(3) 46
5
90
4
1
)(0.2)( ))
3
]
( )( )
9 9
2 1 184 1
(
+( )( )( ))
3 46 90 15
= [ ]
1
9
2 2 1
(
+ + )
3 45 15
= [ ]
1
9
25
( )
45
=
1
( )
9
= -5