Professional Documents
Culture Documents
INTRODUCCIN
A LAS CIENCIAS
DE LA
COMPUTACIN Y
ENFOQUE
ALGORITMICO
Elena de Fernndez
LGICA
La palabra lgica
viene del griego y
significa: razn,
tratado o ciencia
En computacin
es la ciencia que
estudia la forma
de razonar
correctamente
Elena de
LGICA
Elena de
INFERENCIA
Consiste en derivar la
verdad de una proposicin
llamada conclusin de la
verdad de otras
proposiciones llamadas
premisas. Es decir que es
una estructura de
proposiciones donde, de
una o ms proposiciones
llamadas premisas, se
deriva otra llamada
conclusin
Elena de
CONDICIONANTES
LGICA Y CIENCIA
REQUISITOS
FUNDAMENTALES
DE LA
LOGICA
Elena de
Formalmente
hablando, se define
una proposicin
como un enunciado
declarativo que
puede ser verdadero
o falso, pero no
ambos a la vez
Elena de
REPRESENTAR LAS
PROPOSICIONES DE MANERA
GENERAL:
Las proposiciones
se representan
mediante variables
proposicionales
simbolizadas
mediantes letras.
Elena de
10
11
12
13
Un lenguaje de primer
orden, es una coleccin
de distintos smbolos,
llamados tambin en
conjunto vocabulario
lgico
Elena de
14
CONJUNTO VOCABULARIO
LOGICO
El smbolo de igualdad
Las conectivas: tambin
llamadas, en conjunto,
partculas lgicas y que
sirven para formar las
estructuras lgicas.
El cuantificador universal y el parntesis
Un conjunto contable de
smbolos de variable &&
Un conjunto de smbolos de constante
Un conjunto de smbolos de funcin
Un conjunto de smbolos de relacin
Elena de
15
Elena de
p: La tierra es plana.
q: 17 + 38 = 21
r: x > y-9
16
PROPOSICIN
Nos referimos
aVoaF
como los
valores de
verdad del
enunciado.
Elena de
17
CONECTIVOS LGICOS
Se lee
And
Or
Not
Implicacin
Doble
Y
O
No
Sientonces
si y solo
Elena de
Representac
in
18
Donde:
19
OPERADOR OR (O)
Donde:
20
Ejemplo, la negacin de
Donde:
21
IMPLICACIN (SIENTONCES)
Donde:
22
Donde:
23
FUNCIONES DE
VERDAD
Elena de
24
CONJUNCIN
Donde:
p: El coche enciende.
q: Tiene gasolina el tanque.
r: Tiene corriente la batera.
Elena de
25
CONJUNCIN
Donde.
p=q
r
1 = verdadero
0 = falso
1 1
1
1 0
0
0 1
0
0 0
0
Tienen que ser ambas proposiciones verdaderas
para que el resultado sea verdadero, en los
dems casos ser falso
Elena de
26
DISYUNCIN
En el ejemplo:
Donde:
p: Entra al cine.
q: Compra su boleto.
r: Obtiene un pase.
Elena de
27
DISYUNCIN
1 = verdadero
0 = falso
1
1
0
0
1
0
1
0
p=q
Vr
1
1
1
0
28
NEGACIN
En el ejemplo: la negacin de
Donde:
p=1
p=0
Elena de
29
NEGACIN
Donde.
p
1
0
1 = verdadero
0 = falso
p
0
1
30
PROPOSICIN CONDICIONAL
(IMPLICACIN)
Donde
31
PROPOSICIN CONDICIONAL
(IMPLICACIN)
p
Donde.
q
1 = verdadero
0 = falso
1 1
1
1 0
0
0 1
1
0 0
1
Cuyo resultado ser falso nicamente cuando el
antecedente sea verdadero y el consecuente
sea falso, en los dems casos ser verdadero
Elena de
32
PROPOSICIN BICONDICIONAL
(DOBLE IMPLICACIN)
En el ejemplo:
Donde
p: Es buen estudiante.
q: Tiene promedio de diez
Elena de
33
PROPOSICIN BICONDICIONAL
(DOBLE IMPLICACIN)
34
p: pago la luz.
q: me cortarn la corriente elctrica.
r: me quedar sin dinero.
s: pedir prestado.
t: pagar la deuda.
w: soy desorganizado.
(p q) [p (r V s)]
t] w
Elena de
Soluci
[(r ns)
35
EJERCICIO
Si y slo si viera un
marciano con mis propios
ojos, creera que hay vida
extraterrestre.
Prefiero ir de vacaciones o
estar sin hacer nada si
tengo tiempo para ello y no
tengo que ir a trabajar.
Elena de
36
p=0
r =0
q=1
s=1
(p V q) r
0 1
0
1
Dada la expresin:
(p V q)
r
Elena de
0
1
Valor de
Introduccin a las Ciencias de laverdad
37
EJERCICIO
p=0
r =0
q=1
s=1
(p q) r
((p q) (q r)) (s V q)
Elena de
38
p: a < b
q: b < c
r: a < c
Dada la expresin:
( p
Soluci
q )
n
Elena de
39
EJERCICIO
p: a < b
q: b < c
r: a < c
Elena de
40
p: hoy es lunes
q: est lloviendo
r: hace calor
Dada la expresin:
p
p (r V
q)
(
r
V
q
)
Si hoy es lunes, entonces hace calor o
esta lloviendo
Soluci
Elena de
41
EJERCICIO
p: hoy es lunes
q: est lloviendo
r: hace calor
(p V q) r
(p (q V r)) (r V (q V p))
(p V (p (q V r))) (p V (r V q))
Elena de
42
Paso
p
3
pq r
11 1 1
Si hoy es lunes, entonces
11 0 1
hace calor o esta lloviendo
p: hoy es lunes
10 1 1
q: est lloviendo Paso
10 0 0
r: hace calor
1
01 1 1
Dada la expresin:
01 0 1
p (r V
Paso
00 1 1
q)
2
0 0de0la 1
Elena de
Introduccin a las Ciencias
(r V
q)
1
1
1
0
1
1
1
0
43
EJERCICIO
Elena de
44
Confeccione las
tablas de verdad de
las siguientes
proposiciones, e
indique si es
tautologa,
contradiccin o
contingencia :
(p V
pq r
r
q)
11 1 0 1
0
11 0 0 1
1
10 1 0 1
0
10 0 0 1
1
0
1
1
0
1
0
Dada la expresin:
01 0 0 1
1
(p V q)
1
Soluci 0 0 1 1 0
r
n
0 0 de1la0
0
Elena de
Introduccin
a las0
Ciencias
45
TABLAS DE
VERDAD
Elena de
46
ELABORACIN DE TABLAS DE
VERDAD
El nmero de lneas de
una tabla de verdad
depende del nmero de
variables de la
expresin.
Frmula para el clculo:
Digit
o
Octal
Dgitos
Binarios
2
0
0
1
0
No de lneas o filas = 2n
2
0
3
0
Donde el exponente n =
nmero de variables
4
1
distintas.
5
1
6 de la1
Elena de
Introduccin a las Ciencias
0
0
1
1
0
0
1
2
0
1
0
1
0
1
0 47
ELABORACIN DE TABLAS DE
VERDAD (p q)
Dada la siguiente expresin:
r
3
pq
11
11
10
10
01
01
00
00
r
1
0
1
0
1
0
1
0
48
TAUTOLOGA
p q
1
1
0
0de
Elena
1
0
1
0
p
0
0
1
1
(p
(q
q
q)
p)
0
1
1
1
1
0
1
0
0
1
1
1
1Introduccin
1 a las Ciencias
1 de la 1
49
CONTRADICCIN
p q
1
1
0
Elena 0
de
1
0
1
0
p
0
0
1
1
(p
(q
q
q)
p)
0 0
1
0
1
1 1
0
0
0
0 0
1
0
1
las Ciencias
1Introduccin
0 a1
0de la 1
50
CONTINGENCIA
(q V p)
1
p q
1
1
0
Elena de 0
1
0
1
0
(p V
(q V
p q
q)
p)
0 0
1
1
1
0 1
0
0
1
1 0
1
0
0
a1
las Ciencias
1 Introduccin
1
1de la 1
51
EJERCICIO
(p q) V (r p)
(p q) (r r)
Elena de
52
EQUIVALENCIA LGICA
Se indican como
p
q
Elena de
53
EQUIVALENCIA LGICA
(p q) (q
Ejemplo:
p)
p q
1
1
0
0
1
0
1
0
p q
0 0
0 1
1 0
1 1
(p
q)
1
0
1
1
(q
p)
1
0
1
1
54
EJERCICIO
p q (p q) (r r)
p q (p q) (q p)
(p q) r p (q r)
Elena de
55
Elena de
56