Académique Documents
Professionnel Documents
Culture Documents
Proposiciones
lgicas:
Proposiciones NO
lgicas:
El hierro es un mineral.
Qu es la lgica?
El colibr es un ave.
El da tiene 24 horas.
Es el hombre ms fuerte
del mundo.
Dnde estas?
A lo mejor si voy.
2+6=8
13+7.
La casa es roja.
T cllate.
Comes y te vas!
La casa es roja.
Cmo te llamas?
Estudias o trabajas?
Manuel no aprueba el
curso.
Existe vida
extraterrestre.
Carlos va a la fiesta.
Donde vives?
La novia de Francisco se
llama Gabriela.
No es posible!
Camina siempre
adelante!
1.-P Q Q P
2.-P v Q Q v P
3.-P Q Q P
P
F
F
T
T
Q
F
T
F
T
P
F
F
T
T
Q
F
T
F
T
P
F
F
T
T
Q
F
T
F
T
P Q Q P
F
T
F
F
T
F
F
T
F
T
T
T
P vQ
F
T
T
T
PQ
T
T
F
T
Q v P
T
F
T
T
T
T
T
T
Q P
T
T
F
F
F
T
T
T
7P v 7Q 7( P Q)
Tautologa.
Tautologa.
NO se
cumple la
bicondiciona
l
Falacia.
4.-7P v 7Q ( P Q)
F
F
T
T
F
T
F
T
T
T
F
F
T
T
T
F
T
F
T
F
T
T
T
T
T
T
T
F
F
F
F
T
Tautologa.
P Q R
5.-( P Q) R P (Q
R)
F
F
F
F
T
T
T
T
F
F
T
T
F
F
T
T
F
T
F
T
F
T
F
T
P Q R
6.-P (Q v R)(PQ) v
(PR)
F
F
F
F
T
T
T
T
F
F
T
T
F
F
T
T
F
T
F
T
F
T
F
T
P Q R
( P Q ) RP
(QR)
F
F T F
F
F T F
F
F T F
F
F T F
F
F T F
F
F T F
T
F T F
T
T T T
F
F
F
T
F
F
F
T
P(Q v R)(PQ)
(PR)
F
F
T
F
F
F
T
T
F
F
F
T
T
F
F
F
T
T
F
F
F
F
T
F
F
T
T
T
F
T
T
T
T
T
T
T
T
T
T
T
Tautologa.
v
F
F
F
F
F
T
F
T
P v (QR)(P v Q)(P
v R)
Tautologa.
7. P v (Q R)(P v Q)
(P v R)
F
F
F
F
T
T
T
T
F
F
T
T
F
F
T
T
F
T
F
T
F
T
F
T
F
F
F
T
T
T
T
T
F
F
F
T
F
F
F
T
T
T
T
T
T
T
T
T
F
F
T
T
T
T
T
T
F
F
F
T
T
T
T
T
F
T
F
T
T
T
T
T
Tautologa.
2.-Carlos no va a la fiesta
B: Carlos va a la fiesta
La proposicin es Compuesta o
Molcula
7B.
H: Me caso.
G 7H.
Equivalente de la Condicional
Utilizando la Notacin de Boole:
*
7A A'
v+
Obtener :
Tabla de Verdad.
Formas Cannicas.
El Circuito de dos Estados.
7(7AB)vC
(A'*B)'+C
TABLA DE VERDAD:
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
( A'
1
1
1
1
0
0
0
0
0
0
1
1
0
0
0
0
* B)'+ C
1
1
1
1
0
0
0
1
1
1
1
1
1
1
1
1
0
1
0
1
0
1
0
1
FORMAS CANONICAS:
Miterninos: suma de productos
f = ( A ' * B ' * C ' )+( A ' * B ' * C )+( A ' * B * C )+ ( A * B ' * C ' )+
( A * B ' * C )+ ( A * B * C ' )+ ( A * B * C ).
Maxterminos: producto de sumas
F = A + B ' + C.
La Tabla de Verdad.
Las Formas Cannicas.
La funcin Simplificada ( S ).
TABLA DE VERDAD:
SALIDA
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
0
1
1
1
1
0
0
1
1
0
0
0
0
1
1
FORMAS CANNICAS:
Miterninos:
f = ( A' * B' * C *D')+ ( A' * B' * C *D)+ ( A' * B * C' *D')+ ( A' * B * C'
*D)+
( A * B' * C' *D')+ ( A * B' * C' *D)+ ( A * B * C *D')+ ( A * B * C *D).
Maxterminos:
F= ( A+B+C+D) * ( A+B+C+D') * ( A+B'+C'+D) * ( A+B'+C'+D') *
( A'+B+C'+D) * ( A'+B+C'+D') *( A'+B'+C+D) * ( A'+B'+C+D').
LA FUNCIN SIMPLIFICADA ( S ):
La Tabla de Verdad.
La funcin Simplificada ( S ).
TABLA DE VERDAD:
A
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
SALIDA
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
1
1
1
0
0
0
0
0
1
1
1
0
0
0
0
1
LA FUNCIN SIMPLIFICADA ( S ):
S = ( B' * C' ) + ( B' * D') + ( A * B * C * D ).
5
( B * C' * D' * E ) + ( B * C' * E * F' ) + ( A * B' * D * F ) + ( A' * B' *
C * E * F' ) +
6
9
( A * B' * C' * F ) + ( A' * B' * C * D * E ) + ( B * C * E' * F' ) + ( A *
B' * C * D' * E ).
10
11
12
13
TABLA DE VERDAD:
A
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
SALIDA
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
1
1
0
1
0
1
0
0
0
1
0
1
0
0
Cuando:
SALIDA
LED
NMERO
Apagado
No es primo
Encendido
S es primo
FORMAS CANNICAS:
Miterninos:
f = ( A' * B' * C' *D) + ( A' * B' * C *D') + ( A' * B' * C *D) + ( A' * B * C'
*D) +
( A' * B * C *D) + ( A * B' * C *D) + ( A * B * C' *D) .
Maxterminos:
F = ( A+B+C+D) * ( A+B'+C+D) * ( A+B'+C'+D) * ( A'+B+C+D) *
( A'+B+C+D') *
( A'+B+C'+D) * ( A'+B'+C+D) * ( A'+B'+C'+D) * ( A'+B'+C'+D').
MAPA DE KARNAUGH:
NOTA: Recuerde que partimos del lado izquierdo para llegar al lado derecho
EJERCICIO 1
( 7P v P) ( P ( P Q ) ) ( P
Q)
T ( P ( P Q ) ) ( P Q )
Complemento
T ( ( P P) Q ) ( P Q )
Idempotencia
T ( P Q ) ( P Q )
( P Q ) ( P Q )
Asociativa
Identidad
S cumple la
equivalencia
EJERCICIO 2
( P v Q ) ( P Q ) v ( P 7Q ) v ( 7P
Q)
(PT)v(QT)
Identidad
( P ( Q v7Q ) ) v (Q ( P v 7P) )
Distributiva
( P Q ) v ( P 7Q ) v ( Q P ) v (
Q 7P )
( P Q ) v ( P Q ) v ( P 7Q ) v( 7P
Q )
Conmutativa x3
Complemento
Idempotencia
S cumple
EJERCICIO 3
( P7Q ) v PT
( 7P v 7Q ) v PT
7P v 7Q v PT
( 7P v 7P ) v 7QT
Eq Condicional
Asociativa ( )
Conmuta / Asocia ( )
Complemento
T v 7QT
Dominancia
TT
S cumple la
equivalencia
EJERCICIO 4
P( QP ) 7P ( PQ )
Eq Condicional
7P v ( QP ) 7P ( PQ )
Eq Condicional
7P v ( 7Q v P ) 7P ( PQ )
Asociativa ( )
7P v P v 7Q 7P ( PQ )
Conmutativa
T v 7Q 7P ( PQ )
Complemento
T 7P ( PQ )
Dominancia
T v Q 7P ( PQ )
Dominancia
(7P v P) v Q 7P ( PQ )
Complemento
7P v P v Q 7P ( PQ )
Asociativa ( )
P v (7P v Q) 7P ( PQ )
Conmuta / Asocia ()
7P ( 7P v Q ) 7P ( PQ )
Eq Condicional
7P ( 77P Q ) 7P ( PQ )
Eq Condicional
7P ( P Q ) 7P ( PQ )
Doble Negacin
7P ( P Q ) 7P ( PQ )
S cumple la
equivalencia
EJERCICIO 5
P7P F
( P 7P ) ( 7P P ) F
( 7P v 7P ) ( 77P v P ) F
( 7P v 7P ) ( P v P ) F
Eq Bicondicional
Eq Condicional x2
Doble Negacin
Idempotencia
( 7P ) ( P ) F
FF
Complemento
S cumple la
equivalencia
EJERCICIO 6
( R v 7R) S [ R( ( R Q ) v R ) ]
S
TS
Complemento
Identidad
FvS
Eq Condicional
7F S
Negado de F
T S
Complemento
( 7R v R ) S
Eq Condicional
( RR)S
Asociativa ( )
RRS
Identidad
Absorcin
R(Rv(RQ))S
Doble Negacin
[ R( ( R Q ) v R ) ) ]S [ R( ( R Q ) v
R ) ] S
S cumple la
equivalencia
EJERCICIO 7
( Q P ) ( 7P Q ) F
( 7Q v P ) ( 7P Q ) F
7( 7 7Q v 7P ) ( 7P Q ) F
7( Q v 7P ) ( 7P Q ) F
Eq Condicional
DMorgan
Doble Negacin
Conmutativa
7( 7P Q ) ( 7P Q ) F
7A A F
FF
Cambio de variable
( 7P Q ) A
Complemento
S cumple la
equivalencia
EJERCICIO 8
P( P ( Q P ) ) T
7P v ( P ( 7Q v P ) ) T
Eq Condicional X2
Distributiva
7P v ( P 7 Q ) v ( P P )T
Idempotencia
7P v ( P 7 Q ) v P T
Conmutativa /
Asociativa
(7P v P ) v ( P 7 Q ) T
Complemento
T v ( P 7 Q ) T
T T
Dominancia
S cumple la
equivalencia
EJERCICIO 9
( P Q ) ( 7Q 7P ) T
Eq Condicional X2
( 7P v Q ) ( Q v 7P ) T
Conmutativa
( 7P v Q ) ( 7P v Q ) T
Cambio de variable
( 7P v Q ) A
AA T
Eq Bicondicional
( A A ) ( A A ) T
( 7A v A ) ( 7A v A ) T
T T T
T T
Eq Condicional X2
Complemento
Dominancia
S cumple la
equivalencia
EJERCICIO 10
( P ( Q v R ) ) ( ( P Q ) v ( P R ) )T
Eq Condicional X3
( 7P v ( Q v R ) ) ( ( 7P v Q ) v ( 7 P v
R ) )T
7( 7P v ( Q v R ) ) v ( ( 7P v Q ) v ( 7 P v
R ) )T
7[ (7P v 7P) v ( Q v R ) ] v [ ( 7P v Q ) v (7 P
v R ) ]T
Eq Condicional X1
7[ (7P v Q) v ( 7P v R ) ] v [ ( 7P v Q ) v ( 7P
v R ) ]T
Cambio de variable
((7P v Q) v (7P v
R))A
A v AT
TT
Idempotencia
Asocia() Conmu
Asocia()
Complemento
S cumple la
equivalencia
EJERCICIO 11
( Q P ) v ( 7P Q ) T
( 7Q v P ) v ( 7P Q ) T
Eq Condicional
Distributiva
( 7Q v P v 7P ) ( 7Q v P v Q)
T
Conmutativa /
Asociativa
( 7Q v ( P v 7P) ) ( P v 7(Q v
Q) ) T
( 7Q v T ) ( P v T ) T
Complemento
TTT
TT
Dominancia
Identidad
S cumple la
equivalencia
EJERCICIO 12
Pv(PQ)P
Identidad
(PT)v(PQ)P
Distributiva
P(TQ)P
Dominancia
P TP
Identidad
P P
S cumple la
equivalencia
PQ
P
F
F
T
T
Q
F
T
F
T
PQ
T
T
F
T
PQ( 7P 7Q ) v ( 7P Q ) v ( P Q )
Tabla de Verdad FNDP
De la
Eq Condicional
Identidad
Complemento
Distributiva
Distributiva
Conmutativa x2
Idempotencia
( 7P 7Q ) v ( 7P Q ) v ( P Q ) ( 7P 7Q ) v ( 7P Q ) v ( P
Q)
FNDP
PQ ( 7P v Q )
Eq Condicional
P v ( 7P Q )
P
Q
F
F
F
T
T
F
T
T
F
F
T
T
F
T
T
T
P v (7PQ)
T
F
T
T
F
F
F
F
F
T
F
T
P v ( 7P Q ) ( P v Q )
la Tabla de Verdad FNCP
De
P v ( 7P Q )( 7P Q ) v ( P 7Q ) v ( P Q )
Tabla de Verdad FNDP
Distributiva
Complemento
Identidad
FNCP
De la
Identidad
( P T ) v ( 7P Q )
Complemento
( P ( Q v 7Q ) ) v ( 7P Q )
Distributiva
( P Q) v ( P 7Q ) v ( 7P Q )
Conmutativa
( 7P Q ) v ( P 7Q ) v ( P Q )
FNDP
( Q P ) ( 7P Q )
P
Q
F
F
T
F
T
F
T
F
T
T
T
T
(QP) (7PQ)
F
T
F
F
T
T
F
F
F
F
F
F
F
T
F
T
Eq Condicional
( 7Q v P ) ( 7P Q )
Identidad
( 7Q v P ) ( (7P v F ) ( Q v F ) )
Complemento
( 7Q v P ) ( ( 7P v (Q 7Q) ) ( Q v (P
Distributiva
7P) ) )
( 7Q v P ) ( 7P v Q ) ( 7P v 7Q ) ( Q
v P )
( Q v 7P)
Conmutativa
( P v 7Q ) ( 7P v Q ) ( 7P v 7Q ) ( P
vQ)
( 7P v Q )
Idempotencia
( P v Q ) ( P v 7Q ) ( 7P v Q ) ( 7P v
7Q )
FNCP
( Q P ) v ( 7P Q )
P
Q
F
F
T
F
T
F
T
F
T
T
T
T
(QP) v(7P Q)
T
T
F
T
T
T
T
F
F
T
F
F
F
T
F
T
Q ) ( 7P 7Q ) v ( 7P Q ) v ( P 7Q ) v ( P
( Q P ) v ( 7P Q )
Eq Condicional
( 7Q v P ) v ( 7P Q )
Identidad
( 7P Q ) v (7Q T ) v ( P T )
Complemento
( 7P Q ) v ( 7Q ( P v 7P ) ) v ( P
( Q v 7Q ) )
Distributiva/Conmutat
iva
( 7P Q ) v ( P 7Q ) v ( 7P v 7Q ) v
(PQ)
v ( P v 7Q )
Idempotencia/Conmut
ativa
( 7P 7Q ) v ( 7P Q ) v ( P 7Q ) v ( P
Q)
FNDP
FNDP
( 7P v 7Q ) v F v ( 7P R ) v ( Q R )
Identidad
[( 7P v 7Q ) T ] v [( 7P R ) T ] v [( Q R
Complemento
) T]
[( 7P v 7Q ) ( R v 7R ) ]v [ ( 7P R ) ( Q v
7Q ) ] v
[( Q R ) ( P v 7P )]
( 7P7QR ) v ( 7P7Q7R ) v ( 7PQR ) v ( 7P7QR ) v ( PQR ) v (
7PQR )
Distributiva
( 7P7QR ) v ( 7P7Q7R ) v ( 7PQR ) v ( 7P7QR ) v ( PQR ) v
( 7PQR )
Idempotencia
( 7P7Q7R ) v (7P7QR ) v ( 7PQR ) v ( PQR )
FNDP
De la Tabla de Verdad FNCP
( PQ ) ( QR )( P v 7Q v R ) ( 7P v Q v R ) ( 7P v Q v 7R ) ( 7P v
7Q v R )
(
(
[
[
]
(
PQ )
7P v Q )
( 7P v Q
( 7P v Q
7P v Q v R ) ( 7P v Q v 7R ) ( P v 7Q v R ) ( 7P v 7Q v R )
Distributiva
FNCP
( P v 7Q v R ) ( 7P v Q v R ) ( 7P v Q v 7R ) ( 7P v 7Q v R )
Obtenga las Formas Normales Principales de la siguiente frmula
proposicional usando Tablas de Verdad y el Mtodo Algebraico
( 7PR ) ( QP )
( 7P R ) ( Q
P Q R
P)
F F F T F F F
T
F F T T T T T
T
F T F T F F F
F
F T T T T T F
F
T F F F T F F
F
T F T F T T F
F
T T F F T F T
T
T T T F T T T
T
De la Tabla de Verdad FNDP
( 7PR ) ( QP ) ( 7P 7Q R ) v ( P Q 7R ) v ( P Q R )
Por medio del Mtodo Algebraico
( 7PR ) ( QP )
Eq Bicondicional
( 7PR ) ( QP ) ( PQ )
Eq Condicional
x3
( P v R ) ( 7Q v P ) ( 7P v Q )
Conmutativa
( P v R ) ( P v 7Q ) ( 7P v Q )
Distributiva
[ P v ( R 7Q ) ] ( 7P v Q )
Distributiva
[ P v ( R 7Q ) 7P ] v [ P v ( R 7Q ) Q ]
Distributiva
( P 7P ) v ( 7P 7Q R ) v ( P Q ) v ( R 7Q
Complemento
Q)
( F ) v ( 7P 7Q R ) v ( P Q ) v ( R T )
Dominancia
( F ) v ( 7P 7Q R ) v ( P Q ) v F
Identidad
( 7P 7Q R ) v ( P Q T )
Complemento
( 7P 7Q R ) v ( P Q ( R v 7R ) )
Distributiva
( 7P 7Q R ) v ( P Q 7R ) v ( P Q R )
FNDP
De la Tabla de Verdad FNCP
( 7PR ) ( QP ) ( P v Q v R) ( P v 7Q v R ) ( P v 7Q v 7R ) ( 7P v
Q v R ) ( 7P v Q v 7R )
( 7PR ) ( QP )
Eq Bicondicional
( 7PR ) ( QP ) ( PQ )
Eq Condicional
x3
( P v R ) ( 7Q v P ) ( 7P v Q )
Conmutativa
( P v R ) ( P v 7Q ) ( 7P v Q )
Identidad
[ ( P v R ) v F ] [ ( P v 7Q ) v F ] [ ( 7P v Q ) v F
]
[ ( P v R ) v ( Q 7Q ) ] ^ [ ( P v 7Q ) v ( R 7R ) ] ^ [ (7P v Q ) v ( R 7R )
]
Complemento
( P Q R ) v ( P 7Q R ) v ( P 7Q R ) v ( P 7Q 7R ) v ( 7P Q
R ) v ( 7P Q 7R )
Distributiva
( P Q R ) v ( P 7Q R ) v ( P 7Q R ) v ( P 7Q 7R ) v ( 7P Q
R ) v ( 7P Q 7R )
Idempotencia
( P v Q v R ) ( P v 7Q v R ) ( P v 7Q v 7R ) ( 7P v Q v R ) ( 7P v Q v
7R )
FNCP
1.-P Q P
P
F
F
T
T
Q
F
T
F
T
P Q P
T
T
T
T
F
F
F
T
F
F
T
T
F
T
F
T
T
T
T
T
P v Q
F
T
T
T
Q
F
T
F
T
7PPQ
T
T
F
F
T
T
T
T
T
T
F
T
P
F
F
T
T
Q
F
T
F
T
7(P
F
F
T
F
T
T
F
T
Q )
T
T
T
T
P
F
F
T
T
Q
F
T
F
T
Q
F
T
F
T
T
T
T
T
PQ
T
T
F
T
PP
F
F
F
FF
T
T
T
TF
Q Q
FF
F
T
TT
T
F T
FF
F
F
T
TT
T
F
7P
P
P 7 (
P
Q (( PP
v
QQQ
P) )
FFF
T FT
T
FFT
T TT
FFF
F TT
T
F
TTF
T TT
Q
Q7Q
Q
TT F
TTT F
TT F
T
TT T
F
F
T
T
T
F
F
F
T
T
6.- 7 ( PQ ) 7Q
7.- P , Q P Q
8.- 7 P, P v Q Q
9.- P, ( PQ ) Q
P
F
F
T
T
Q
F
T
F
T
7Q
( P Q )
7P
T
T
T
T
F
F
T
T
T
F
F
T
F
F
T
T
S es una Implicacin Tautolgica.
10. 7 Q, (PQ) 7 P
T
T
F
F
11.- ( P Q ), ( Q R ) ( P R )
F
F
F
F
T
T
T
T
F
F
T
T
F
F
T
T
F
T
F
T
F
T
F
T
(P Q)
T
T
T
T
F
F
T
T
T
F
T
F
F
F
T
(Q R)
(P R)
T
F
T
T
T
F
T
T
T
T
T
T
T
T
T
T
T
F
T
F
T
12.- ( P v Q ), ( PQ ), ( QR ) R
F
F
F
F
T
T
T
T
F
F
T
T
F
F
T
T
F
T
F
T
F
T
F
T
(P v Q)
F
F
T
T
T
T
T
T
F
F
T
T
F
T
F
T
(P Q)
R
T
F
T
F
T
F
T
T
F
F
T
T
F
F
T
T
(QR)
T
T
F
T
T
T
F
T
T
T
T
T
T
T
T
T
F
T
F
T
F
T
F
T
H1: ( A v B ) ( R S )
H2: A
-------------------------------------------C: R
#PASO
1
2
REGLA
P, H2
T, 1, I3
P PvQ
A AvB
P, H1
T, 2, 3, I11
P,
P Q
Q
(A v B), ( A v B )( R S ) (
RS)
T, 4, I1
P Q P
RSR
FRMULA
A
AvB
( A v B )( R S )
(RS)
R
Por lo tanto el
razonamiento es
vlido.
Notacin Simblica:
H1 : AB
H2 : B 7C
H3 : C
H4 : A v (D E)
C: (D E)
#PASO
1
2
3
4
5
REGLA
FRMULA
AB
B7C
P, H1
P, H2
T, 1, 2, I13
PQ,
QR
AB
B7C
P, H3
T, 3, 4, I12
7Q, P Q
C, AC
P, H4
T, 5, 6, I10
7P,
PvQ
7A, A v (D E)
PR
A7C
A7C
C
7P
7A
7A
A v (D E)
Q
(D E)
(D E)
Por lo tanto S es un
razonamiento vlido.
Notacin Simblica:
A: Carlos estudia.
B: Aprueba el examen.
C: Acredita el semestre.
D: Le compran un auto.
H1 : ( AB ) ( CD )
C:
(AvC)(BvD)
REGLA
FRMULA
P, H1
( AB ) ( CD )
T, 1, Eq.
( AB ) ( CD )
Eq.
Condicional X2
( 7A v B ) (7 C v D )
T, 2, I3
P
P
v
Q
(7A v B )(7 C v D) [ (7A v B )(7 C v D) ] v
(B v D)
T, 3, Eq.
[ (7A v B ) ( 7C v D) ] v (B v D)
Distributiva
[( 7A v B ) v ( B v D ) ] [ ( 7 C v D ) ] v ( B v
D )]
T, 4, Eq.
Idempotencia
T, 5, Eq.
Distributiva
T, 6, Eq.
Negacin
T, 6, Eq.
7( A v C ) v ( B v D )
Morgan
( A C ) v ( B v D )
Condicional
( 7A v B ) ( 7C v D )
[ (7A v B ) ( 7C v D) ] v
(B v D)
[( 7A v B )v( B v D) ] [ (
7C v D) ]v (B v D)]
[ 7A v (B v D) ] [ 7C v (B
v D)]
( 7A 7C ) v ( B v D)
7( 7A 7C ) v ( B v D )
D
Eq.
( A C ) v ( B v D )
Por lo tanto S es un
razonamiento vlido.
#PASO
REGLA
FRMULA
P, H4
7C
P, H2
CvS
T, 1, 2, I10
7P, P v Q Q
7C, C v S S
P, H3
T, 3, 4, I11
P, P Q Q
S, S 7B 7B
P, H1
T, 5, 6, I12
7 Q, P v Q 7 P
7 B, AB
7A
S
S 7B
7B
AB
7A
S es una Implicacin
Tautolgica.
7
8
9
10
11
12
13
REGLA
P,H3
P,H1
T, 2, Eq.
7(AB)vC
Eq. Condicional
7Av7BvC
DMorgan
7Bv7AvC
Conmutativa
T, 3, Eq.
Eq. Condicional
T, 1, 4, I13
PQ,
QR
PR
AB, B( 7A v C ) A( 7A v C )
T, 5 Eq.
A7A v C
Eq. Condicional
7A v 7A v C
Idempotencia
7A v C v C
Conmutativa
C v 7A
T, 6, Eq.
Eq. Condicional
P, H2
T, 8, Eq
( 7A v C )D
Eq. Condicional
AvCvD
Asociativa
Av(CvD)
T, 9, Eq.
Eq. Condicional
T, 7, 10, I13
PQ,
QR
PR
7C7A, 7A( C v D)
7C( C v D)
T, 11, Eq.
7C( C v D)
Eq. Condicional
CvCvD
Idempotencia
CvD
7C D
Eq. Condicional
T, 11, Eq.
Eq. Contrapositiva
FRMULA
AB
ABC
7B v 7A v C
B( 7A v C)
A7A v C
C v 7A
7C7A
(A v C)D
A v (C v D)
A( C v D)
7C( C v D)
7C D
7D C
Por lo tanto el
argumento S es
lgicamente
consistente.
[(PvQ)(RS)]PR
[(PvQ)(RS)
P]R
X
Y
[(PvQ)(RS)]PR
[(PvQ)(RS)]
X
,PR
( P ), ( R S ) ( R )
( P ), ( R ), ( S ) ( R )
A1
( P ) ( P v Q ), ( R )
( P ) ( P ), ( Q ), ( R )
A2
( A B )( C v S )( S 7B )7C 7A
( A B ), ( C v S ), ( S 7B ), 7C 7A
X Y
v (C), ( A B ), ( S 7B ),
v (S), ( A B ), ( S 7B ),
7C7A
7C7A
X
Y
X
Y
(C), ( B ), ( S 7B ),( 7C)7A (S), ( B ), ( S 7B ),( 7C)7A
X
Y
X
Y
7 (C), ( B ), ( 7B ),(7C)(7A)
7 (S), ( B ), ( 7B ),(7C)(7A)
7 (C), ( B ) (7A), (B),(C)
7 (S), ( B ) (7A), (B),(C)
(A), (B), (C) (B), (C)
(A), (B), (S) (B), (C)
A1
7
7
7
7
A5
7
7
A2
A6
(C), ( S 7B ),(7C)(7A),
(A)
X
Y
(C), ( 7B ),(7C)(7A), (A)
(C), (7A), (A), (B), (C)
(A), (C) (A), (B), (C)
(S), ( S 7B ),(7C)(7A),
(A)
X
Y
(S), ( 7B ),(7C)(7A), (A)
(S), (7A), (A), (B), (C)
(A), (S) (A), (B), (C)
7
7
A3
A7
7
7
7
7
A4
A8
7( PQ ) P
X
Y
7( PQ ) P
( P ), ( PQ )
X Y
( P ) ( P ), ( Q )
A1
7
7
7 ( P Q ) 7Q
X
7( P Q ) 7Q
( 7Q ), ( P Q )
( Q ) ( P Q )
X
Y
( P ), ( Q ) ( Q )
A1
P Q P Q
P Q PQ
X
Y
P Q PQ
( P ), ( Q ) PQ
X Y
( P ), ( Q ) ( P )
( P ), ( Q ) ( Q )
A1
A2
7P( P v Q ) Q
7P( P v Q ) Q
X
7P( P v Q ) Q
7
v
7P, ( P v Q ) Q
( P v Q ) ( P ), ( Q )
X
Y
( P ) ( P ), ( Q )
A1
( Q ) ( P ), ( Q )
A2
P(PQ)Q
( P), ( P Q ) Q
X
Y
( P ), ( Q ) ( Q )
A1
( P ) ( P ), ( Q )
A2
7Q P Q 7P
[ 7Q P Q ] 7P
X
7Q P Q 7P
7Q, P Q 7P
X
Y
7
7
( 7Q ), ( Q ) ( 7P )
( Q ) ( 7P ), ( Q )
( P ), ( Q ) ( Q )
A1
7
7
( 7Q ) ( 7P ), ( P )
( 7P ), ( P ), ( Q )
( P ) ( P ), ( Q )
A2
( P Q )( Q R ) ( P R )
[ ( P Q )( Q R ) ] ( P R )
X
Y
( P Q )( Q R ) ( P R )
( P Q ), ( Q R ) ( P R )
X
Y
( P ), ( P Q ), ( Q R ) ( R )
X
Y
( P ), ( Q ), ( Q R ) (
( P ), ( Q R ) ( R ) ( P )
R)
( P ), ( Q ), ( Q R ) (
( P ), ( Q R ) ( R ) ( P )
R)
X
Y
X
Y
( P ), ( Q ), ( R ) ( R )
( P ), ( R ) ( P ), ( R )
A1
A3
( P ), ( Q ) ( Q), ( R )
( P ) ( P ), ( Q ), ( R )
A2
A4
X
Y
(PvQ)(PR)(QR
( P v Q ), ( P R ), ( Q
X
Y
( P ), ( P R ), ( Q R ) R
X
Y
( P ), ( R ), ( Q R ) R
X
Y
( P ), ( R ), ( R ) ( R )
) R
R ) R
v
( Q ), ( P R ), ( Q R )
R
( Q ), ( R ), ( Q R ) R
X
Y
( Q ), ( R ), ( R ) ( R )
A1
A5
( P ), ( R ) ( Q ), ( R )
( Q ), ( R ) ( Q ), ( R )
A2
A6
( P ), ( Q R ) ( P ), ( R )
X
Y
( P ), ( R ) ( P ), ( R )
( Q ), ( Q R ) ( P ), ( R )
X
Y
( Q ), ( R ) ( P ), ( R )
A3
A7
( P ) ( P ), ( Q ), ( R )
( Q ) ( P ), ( Q ), ( R )
A4
A8
Y
( P Q )( Q P ) ( P Q)
( P Q ), ( Q P ) ( P Q)
X
( P ), ( P Q ), ( Q P ) ( Q)
X
Y
( P ), ( Q ), ( Q P ) ( Q)
X
Y
( P ), ( P ), ( Q ) ( Q)
( P ), ( Q P ) ( P), ( Q)
X
Y
( P ), ( P ) ( P), ( Q)
A1
A3
( P ), ( Q ) ( Q) ( Q )
( P ) ( P), ( Q) ( Q )
A2
A4
( PQ )7P Q
( PQ ), 7P Q
X
Y
( Q ), ( 7P ) Q
(7P) ( P ), ( Q )
( Q ) ( P ), ( Q )
( P ), ( P ), ( Q )
EXPRESIN
:
A+B*C
A+B*C
A + B *C
OBSERVACIN:
RESULTADO:
BC*
ABC*+
ABC*+
Recuerde:
Notacin infija:
Notacin posfija:
Operando1 Operador
Operando1 Operando2
Operando2
Operador
Importante:
1.-Cada atmica conserva su posicin original, sin importar el tipo
de notacin que es trate.
2.-Si la notacin infija tiene parntesis, la notacin prefija y posfija
elimina los parntesis.
EXPRESIN:
[ (A + B * C )
^D ]/R
[ (A + B * C )
^D ]/R
[ (A + B * C )
^D ]/R
[ (A + B * C )
^D ]/R
OBSERVACIN:
RESULTADO:
ABC*+
A B C * +D^R/
ABC*
+D^R/
A B C * +D^
Recuerde:
AB+C3AB5^*B/1*+
RC9^*RA^57*/A^+
QZPA*B^/4C*
578/9*5+86/2*943^12+36**++
75/6*18+315^++4
884*7/34^42/3*1^2*+35*71+3^/1
35*242^87*/+835*^+
48/553+*32^14*+^
Grafo Simple
Multgrafo
Por tener :
Arcos Paralelos
Ciclo Loop.
Grafo Dirigido
Es aquel que tiene
Arcos Dirigidos
Recorrido en Grafos:
Trayectoria de V1 a V2
Trayectoria de V1 a V3
Camino Cerrado
Punto de inicio V
Punto de llegada V
Circuito
Inicio en V0 y termino en V0
V1
V2
V3
V1
0
1
1
V2
1
0
0
V3
1
0
0
V1
V2
V3
V1
0
0
0
V2
1
0
0
V3
1
0
0
Matriz de Adyacencia.
V1
V2
V3
V1
1
1
1
V2
1
0
0
V3
1
0
0
V1
V2
V3
V1
1
0
1
V2
1
0
0
V3
1
0
0
V1
V2
V3
a1
0
0
0
a2
-1
0
1
a3
1
0
-1
a4
-1
1
0
Clasificacin.
Matriz de Adyacencia.
Matriz de Incidencia.
Multgrafo
Por tener :
Arcos Paralelos (1).
Ciclo Loop (1).
Circuito (2)
Trayectoria de V6 a V7.
Matriz de Adyacencia.
V
2
V
3
V
4
V
5
V
6
V
7
Matriz de Incidencia.
V
1
a1
1
1
1
0
1
1
1
1
1
0
V
3
V
4
1
0
V
6
Dado
Matriz de Adyacencia.
1
2
3
4
5
6
1
0
1
0
1
0
0
2
0
0
0
0
0
0
3
1
1
1
0
0
0
4
0
0
0
0
1
0
5
0
0
0
1
0
0
6
0
0
1
1
0
0
Matriz de Incidencia.
a
1
-1
0
0
0
0
1
2
3
4
5
6
Cto1
Cto2
b
1
0
0
-1
0
0
c
0
-1
1
0
0
0
d
0
0
0
0
0
0
e
0
0
0
-1
1
0
f
0
0
0
1
-1
0
g
0
0
0
-1
0
1
h
0
0
-1
0
0
1
i
-1
0
1
0
0
0
Matriz de Circuito.
a
0
0
b
0
0
c
0
0
d
0
1
e
1
0
f
1
0
g
0
0
h
0
0
i
0
0