UMSS CONTADURÍA PÚBLICA Doc.: Mgr.

José Montaño Romero

TABLAS DE VERDAD LEYES DE LOGICÁ SIMBOLICA REGLAS DE INFERENCIA

1. NEGACIÓN 1.- LEY DE INVOLUCIÓN 1.- MODUS PONENDO PONENS

(p)  p p  q
p p p
V F 2.- LEY DE IDEMPOTENCIA
q
F V p p p
p p p 2.- MODUS TOLLENDO TOLLENS
2. CONJUNCIÓN p  q
q
3.- LEY DE CONMUTATIVIDAD
p q p q pqq p p
V V V pqq p
V F F 3.- MODUS TOLLENDO PONENS
F V F p  q p  q
4.- LEY DE ASOCIATIVIDAD o
F F F p q
( p  q)  r  p  (q  r)
q p
3. DISYUNCIÓN ( p  q)  r  p  (q  r)
4.- REGLA DE SIMPLIFICACIÓN
p q p q 5.- LEY DE DISTRIBUTIVIDAD p q o p q p
V V V p  (q  r)  ( p  q)  ( p  r ) q
V F V p  (q  r)  ( p  q)  ( p  r )
F V V
5.- REGLA DE ADJUNCIÓN
F F F
6.- LEY DE IDENTIDAD p
4. IMPLICACIÓN p V  p p V V q
p  q
pF F pF  p
p q p q
V V V 6.- LEY DEL SILOGISMO HIPOTÉTICO
7.- LEY DE COMPLEMENTO p  q
V F F p  p  F V  F
F V V q  r
F F V
p  p  V F  V p  r

5. BICONDICIONAL 8.- LEY DE DE MORGAN 7.- LEY DE ADICIÓN

( p  q)  p  q p
P q p  q ( p  q)  p  q p q
V V V
V F F 9.- LEY DE ABSORCIÓN 8.- LEY DE SIMPLIFICACIÓN DISYUNTIVA
F V F p p
p  ( p  q)  p
F F V
p  ( p  q)  p p
6. DIFERENCIA SIMÉTRICA
10.- LEY DE EQUIVALENCIA LÓGICA 9.- LEY DEL SILOGISMO DISYUNTIVO
p q p q p  q  p  q p  q
 r
V V F ( p  q)  p  q p
q  s
V F V p  q  ( p  q)  (q  p) r  s
F V V
F F F pq  ( p  q)
10.- REGLA DEL DILEMA DESTRUCTIVO
11.- LEY DE TRANSPOSICIÓN r  s
p  q  q  p p  r
q  s
12.- LEY DE EXPORTACIÓN p  q
( p  q)  r  p  (q  r )
UMSS CONTADURÍA PÚBLICA Doc.: Mgr. José Montaño Romero
LEYES DE LOGICÁ SIMBOLICA REGLAS DE INFERENCIA LEYES ALGEBRA DE CONJUNTOS

1.- LEY DE INVOLUCIÓN 1.- MODUS PONENDO PONENS 1.- LEY DE INVOLUCIÓN
(p)  p p  q
( Ac ) c  A
p
q
2.- LEY DE IDEMPOTENCIA 2.- LEY DE IDEMPOTENCIA
p p p
A A A
p p p 2.- MODUS TOLLENDO TOLLENS
A A A
p  q

3.- LEY DE CONMUTATIVIDAD q

3.- LEY DE CONMUTATIVIDAD
pqq p p
A B  B A
pqq p A B  B A
3.- MODUS TOLLENDO PONENS
p  q p  q
AB  BA
4.- LEY DE ASOCIATIVIDAD o
( p  q)  r  p  (q  r) p q 4.- LEY DE ASOCIATIVIDAD
( p  q)  r  p  (q  r)
q p ( A  B)  C  A  (B  C )
( A  B)  C  A  (B  C )
4.- REGLA DE SIMPLIFICACIÓN
5.- LEY DE DISTRIBUTIVIDAD ( AB)C  A(BC )
p q o p q p
p  (q  r )  ( p  q)  ( p  r )
q 5.- LEY DE DISTRIBUTIVIDAD
p  (q  r )  ( p  q)  ( p  r ) A  (B  C )  ( A  B)  ( A  C )
5.- REGLA DE ADJUNCIÓN A  (B  C )  ( A  B)  ( A  C )
6.- LEY DE IDENTIDAD p
A  (BC )  ( A  B)( A  C )
p V  p p V V q
pF F pF  p p  q 6.- LEY DE IDENTIDAD
AU  A AU U
7.- LEY DE COMPLEMENTO 6.- LEY DEL SILOGISMO HIPOTÉTICO A   A   A
p  q
p  p  F V  F 7.- LEY DE COMPLEMENTO
q  r
p  p  V F  V p  r A  A c   U c  
8.- LEY DE DE MORGAN A  Ac  U  c  U
7.- LEY DE ADICIÓN
( p  q)  p  q p
8.- LEY DE DE MORGAN
( p  q)  p  q p q
( A  B) c  A c  B c
9.- LEY DE ABSORCIÓN 8.- LEY DE SIMPLIFICACIÓN DISYUNTIVA ( A  B) c  A c  B c
p  ( p  q)  p p p
p  ( p  q)  p p 9.- LEY DE ABSORCIÓN
A  ( A  B)  A
10.- LEY DE EQUIVALENCIA LÓGICA 9.- LEY DEL SILOGISMO DISYUNTIVO A  ( A  B)  A
p  q  p  q p  q
( p  q)  p  q p  r 10.- DEFINICIÓN DE DIFERENCIA
p  q  ( p  q)  (q  p) q  s A  B  A  Bc
r  s
pq  ( p  q) 11.- DEFINICIÓN DE DIFERENCIA SIMÉTRICA
10.- REGLA DEL DILEMA DESTRUCTIVO AB  ( A  B)  (B  A)
11.- LEY DE TRANSPOSICIÓN r  s
p  q  q  p p  r AB  ( A  B c )  (B  A c )
12.- LEY DE EXPORTACIÓN q s
( p  q)  r  p  (q  r ) p  q

n(U )  n( A  B  C)  n( A  B  C) c
n( A  B  C )  n( A)  n(B)  n(C )  n( A  B)  n( A  C )  n(B  C )  n( A  B  C )