UCC!

Lgica 1
Diagramas semanticos Diagramas semanticos
!ng. Oscar Navarro Ramos !ng. Oscar Navarro Ramos
Diagramas semanticos Diagramas semanticos
!ng. Oscar Navarro Ramos !ng. Oscar Navarro Ramos
Es un instrumento o mtodo decisorio
alternativo al de las Tablas de verdad el cual
permite elegir entres dos puntos de partida
diferentes:
1. Si suponemos una frmula verdadera nos
dira en qu casos lo es.
2. Si suponemos la frmula falsa nos dira en
qu casos lo es.
UCC! Lgica 2
Diagramas semanticos de la negacin
a) F |*
v |*
b) v |*
F |*
La negacin de una proposicin o esquema verdadero
es es falsa y viceversa. Los diagramas semanticos, de la
negacin son:
Se lee:
La negacin de es falsa, si y solo si, es verdadera"
La negacin de es verdadera, si y solo si, es falsa"
UCC! Lgica 3
Diagramas semanticos de la conjuncin
a) F |*
F |* F |*
b) v |*
v |*
v |*
es falsa, cuando cualquiera de los dos, o son
falsos.
es verdadera, nicamente cuando los dos, y
son verdaderos.
UCC! Lgica 4
Diagramas semanticos de la disyuncin
a) F |*
F |*
F |*
b) v |*
v |* v |*
es falsa, nicamente cuando los dos son falsos.
es verdadera, cuando cualquiera de los dos son
verdaderos.
UCC! Lgica S
Diagramas semanticos de la condicional
a) F |F*
v |*
F |*
b) v |F*
F |* v |*
F es falsa, nicamente cuando el antecedente es
verdadero y el consecuente es falso.
F es verdadera, en cualquiera de las otras
situaciones.
UCC! Lgica 6
Diagramas semanticos de la bicondicional
a) v |*
v |* F |*
v |* F |*
b) F | *
v |* F |*
F |* v |*
es verdadera, cuando y son verdaderos o
cuando y son falsos.
es falsa, cuando es verdadero y es falso o
cuando es falso y es verdadero.
UCC! Lgica 7
Diagramas semanticos de la disyuncin
exclusiva
a) v |*
v |* F |*
F |* v |*
b) F |*
v |* F |*
v |* F |*
es verdadera, cuando es verdadero y es
falso o cuando es falso y es verdadero.
es falsa, cuando y son verdaderos o cuando
y son falsos.
v |56* (1)
F |pq* (2)
F |p* F |q*
(a) (b)
Anlisis de las ramas:
a: F [5( ------ 3 y 4
b: ------ F [6( 2 y 4
Ejemplos con diagramas semanticos
Analizar el siguiente enunciado: "No es cierto 6ue Carlos viaje
y estudie en el extranjero. La formalizacin es: 56. En
6u casos la 5ro5osicin molecular es V?
UCC! Lgica 8
En la tabla de
verdad el valor V se
ubica en 2 3 y 4
Nr 5 6 56

2
3
4
VV
VF
FV
FF
Nr 5 6 56

2
3
4
VV
VF
FV
FF
V
V
V
EPN: Estados Posibles
del Nundo, son todas las
combinaciones posibles
entre las variables de
una expresin
determinada por 2
n
F |56* (1)
v |pq* (2)
v |p*
v |q*
(a)
Anlisis de las ramas:
a: V [5( V [6(
Ejemplos con diagramas semanticos
Analizar el siguiente enunciado: "No es cierto 6ue Carlos viaje
y estudie en el extranjero. La formalizacin es: 56. En
6u casos la 5ro5osicin molecular es F?
UCC! Lgica 3
En la tabla de verdad el valor
F se ubica en
Nr 5 6 56

2
3
4
VV
VF
FV
FF
Nr 5 6 56

2
3
4
VV
VF
FV
FF
F
UCC! Lgica 10
nalisis de esquemas
1. Dar un valor de F o v al esquema o
proposicin molecular.
2. En base al valor del esquema ir analizando
cada miembro o sub esquemas de este.
3. !r numerando, a la derecha, el orden en que
se han ido analizando los esquemas y sub
esquemas.
4. nalisis de ramas
S. nalisis EPN.
Tautologia, Contradiccin o Contingente
Tautologia (T): Es un esquema cuyos resultados son
todas verdaderas para los Estados Posibles del
Nundo (EPN).
Contradiccin (*): Es un esquema cuyos resultados
son todas falsas para los Estados Posibles del Nundo
(EPN).
Contingente (O): Es un esquema cuyos resultados
son una combinacin de verdaderas y falsas para los
Estados Posibles del Nundo (EPN).
UCC! Lgica 11
v |(pq)r* (1)
v |pq* (2)
v |r*
v |p* v |q*
(a) (b)
Anlisis de las ramas:
a: V [5( ------V [r( y 3
b: ------ V [6( V[r( y 5
Ejemplos con diagramas semanticos
Analizar el siguiente enunciado: "Llueve o solea. Adems hay
mucho viento. La formalizacin es: 56r. Cuando es V?
UCC! Lgica 12
En la tabla de verdad el valor
V se ubica en 3 y 5
Nr 5 6 r 56r

2
3
4
5
6
7
8
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF
Nr 5 6 r 56r

2
3
4
5
6
7
8
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF
V
V
V
F |(pq)r* (1)
F |pq* (2) F |r*
(b)
F |p*
F |q*
(a)
Anlisis de las ramas:
a: F [5( F[6( ------ 7 y 8
b: ------ ----- F [r( 2 4 6 y 8
Ejemplos con diagramas semanticos
Analizar el siguiente enunciado: "Llueve o solea. Adems hay
mucho viento. La formalizacin es: 56r. Cuando es F?
UCC! Lgica 13
En la tabla de verdad el valor
F se ubica en 2 4 6 7 y 8
Nr 5 6 r 56r

2
3
4
5
6
7
8
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF
Nr 5 6 r 56r

2
3
4
5
6
7
8
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF
F
F
F
F
F
v {[5F65(F6< (1)
F [5F65( (2) v |q*
(c)
F [5F6* (3) F |p*
(b)
v |p*
F |q*
(a)
Ejemplos con diagramas semanticos
Analizar el siguiente enunciado: "Si hay innovacin en la em5resa
entonces sta se desarrolla. Es cierto 6ue hay innovacin. En
consecuencia la em5resa se desarrolla. La formalizacin es:
[5F65(F6 Cuando es V?
UCC! Lgica 14
Anlisis de las ramas:
a: V [5( F[6( 2
b: F [5( ------- 3 y 4
c: ------ V [6( y 3
En la tabla de verdad el valor
V se ubica en 2 3 y 4
Nr 5 6 [5F65(F6

2
3
4
VV
VF
FV
FF
Nr 5 6 [5F65(F6

2
3
4
VV
VF
FV
FF
V
V
V
V
F {[5F65(F6< (1)
v [5F65( (2)
F |q*
v [5F6* (3)
v |p*
F |p* v |q*

Ejemplos con diagramas semanticos
Analizar el siguiente enunciado: "Si hay innovacin en la em5resa
entonces sta se desarrolla. Es cierto 6ue hay innovacin. En
consecuencia la em5resa se desarrolla. La formalizacin es:
[5F65(F6 Cuando es F?
UCC! Lgica 1S
Anlisis de las ramas:
Las ramas se anulan 5or6ue existe
contradicciones 5or un lado v |p*
y F |p* y por otro, F |q* y v |q*
En la tabla de verdad el valor F no
existe.
Nr 5 6 [5F65(F6

2
3
4
VV
VF
FV
FF
F |pF(qr)* (1)
v |p*
F |qr* (2)
F |q* F |r*
(a) (b)
Anlisis de las ramas:
a: V [5( F [6( ----- 3 y 4
b: V [5( ------ F[r( 2 y 4
Ejemplos con diagramas semanticos
Analizar el siguiente enunciado: "Si hay contaminacin
entonces se deteriora el ambiente y la salud de las es5ecies.
La formalizacin es: 5F6r. Cuando es F?
UCC! Lgica 16
En la tabla de verdad el valor
F se ubica en 2 3 y 4
Nr 5 6 r 5F6r

2
3
4
5
6
7
8
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF
Nr 5 6 r 5F6r

2
3
4
5
6
7
8
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF
F
F
F
v |pF(qr)* (1)
F |p* v |qr* (2)
(a)
v |q*
v |r*
(b)
Anlisis de las ramas:
a: F [5( ------ ----- 5 6 7 y 8
b: ------ V [6( V[r( y 5
Ejemplos con diagramas semanticos
Analizar el siguiente enunciado: "Si hay contaminacin
entonces se deteriora el ambiente y la salud de las es5ecies.
La formalizacin es: 5F6r. Cuando es V?
UCC! Lgica 17
En la tabla de verdad el valor
V se ubica en 5 6 7 y 8
Nr 5 6 r 5F6r

2
3
4
5
6
7
8
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF
Nr 5 6 r 5F6r

2
3
4
5
6
7
8
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF
V
V
V
V
V
F |pF(qr)* (1)
v |p*
F |qr* (2)
F |q*
F |r*
(a)
Anlisis de las ramas:
a: V [5( F [6( F[r(
Ejemplos con diagramas semanticos
Analizar el siguiente enunciado: "Si los materiales son
5simos entonces el 5uente se des5loma o se deteriora
r5idamente. La formalizacin es: 5F6r. Cuando es F?
UCC! Lgica 18
En la tabla de verdad el
valor F se ubica en 4
Nr 5 6 r 5F6r

2
3
4
5
6
7
8
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF
Nr 5 6 r 5F6r

2
3
4
5
6
7
8
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF
F
v |pF (qr)* (1)
F |p* v |qr* (2)
(a)
v |q* v |r*
(b) (c)
a: F |p*, _____, _____ S, 6, 7, 8
b: _____, v |q*, _____ 1, 2, S, 6
c: _____, _____, v |r* 1, 3, S, 7
Ejemplos con diagramas semanticos
Analizar el siguiente enunciado: "Si los materiales son
5simos entonces el 5uente se des5loma o se deteriora
r5idamente. La formalizacin es: 5F6r. Cuando es V?
UCC! Lgica 13
Nr 5 6 r 56r

2
3
4
5
6
7
8
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF
En la tabla de verdad el valor v
corresponde a 1, 2, 3, S, 6, 7 y 8
Nr 5 6 r 56r

2
3
4
5
6
7
8
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF
V
V
V
V
V
V
V