10 C6AlgBooICC 10

Captulo 6
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
Introduccin a las Ciencias de la
LGICA
La lgica como cualquier

ciencia, y como la
filosofa, busca la verdad
y es la que establece las
reglas para hacer una
razonamiento correcto
Est relacionada con la
racionalidad y la
estructura de los
conceptos, estudia el
pensamiento en s
Elena de
EJEMPLO DE UNA DEDUCCIN

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
La lgica plantea certezas

lgicas y las encuentra en
sus leyes lgicas o
tautologas convertidas en
reglas cuya aplicacin
encadenada sobre
verdades o certezas
axiomtica o empricamente
establecidas constituyen el
desarrollo de los
argumentos lgicos como
inferencias o razonamientos
deductivos
Elena de
LGICA Y CIENCIA
La lgica estudia los

problemas y las leyes del
pensar formal. La lgica no
entra en definir qu es
verdad y qu es falsedad
material. Esos conceptos, al
tener contenido semntico,
son competencia del
razonamiento aplicado a la
experiencia. Pero la ciencia
para elaborar sus
razonamientos necesita la
lgica
Elena de
REQUISITOS
FUNDAMENTALES
DE LA
LOGICA
Elena de
RESTRINGIR LOS VALORES DE

VERDAD DE LAS PROPOSICIONES
A DOS:
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
ES POSIBLE COMBINAR LAS

PROPOSICIONES EN FORMULAS:
Estas pueden ser, segn valor de verdad:
Tautologa o validez: es una frmula que siempre

es verdadera.
Contradiccin: es una frmula que siempre es

falsa.
Contingencia: es una frmula que puede ser

verdadera o falsa
Elena de
11
LAS FORMULAS DEBEN CUMPLIR

CON ALGUNOS REQUISITOS,
LLAMADAS REGLAS DE
FORMACION, Y BASICAMENTE SE
HACEN COHERENTES SI:
Una variable proposicional es una sentencia

(tambin llamada frmula) bien formada. Una
sentencia bien formada precedida de la
negacin es una sentencia bien formada. Dos
sentencias bien formadas unidas por una de las
partculas conectivas binarias constituye una
sentencia bien formada.
Elena de
12
LAS FORMULAS QUE COMBINAN

MAS DE UNA PROPOSICION,
SENTENCIA O ENUNCIADO, LO
HACEN POR MEDIO DE
CONECTIVAS LOGICAS, QUE SE
CLASIFICAN DE LA SIGUIENTE
MANERA:
Singulares: se aplican
a una nica sentencia,
solo se usa la negacin
Binarias: se aplican a dos sentencias, se

definen cuatro, que son: la conjuncin o suma
lgica, la disyuncin, la condicional, y la doble
condicional
Elena de
13
SE DEBE CONTAR CON UN

CONJUNTO DE SIMBOLOS PARA
REALIZAR EL PROCESAMIENTO
MATEMATICO DE LOS
ENUNCIADOS Y DE LAS
FORMULAS:
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
CUALES DE LOS SIGUIENTES

ENUNCIADOS SON
PROPOSICIONES?
Elena de
p: La tierra es plana.
q: 17 + 38 = 21
r: x > y-9
t: Hola como estas?
w: Lava el coche por favor

16
PROPOSICIN
Una proposicin o enunciado lgico es el

significado de cualquier frase declarativa o
enunciativa que pueda ser o verdadera (V) (1)
o falsa (F) (0).
Nos referimos
aVoaF
como los
valores de
verdad del
enunciado.
Elena de
17
CONECTIVOS LGICOS
Existen conectores u operadores lgicos que

permiten formar proposiciones compuestas
(formadas por varias proposiciones)
Los operadores o conectores bsicos son:
Operador
Se lee
And
Or
Not
Implicacin
Doble
Y
O
No
Sientonces
si y solo
Elena de
Representac
in
18
OPERADOR AND (Y)
Se utiliza para conectar dos proposiciones que

se deben cumplir para que se pueda obtener un
resultado verdadero
Ejemplo, sea el siguiente enunciado:
Donde:
El coche enciende cuando tiene gasolina en el

tanque y tiene corriente la batera.
p: El coche enciende.
q: Tiene gasolina el tanque.
r: Tiene corriente la batera.
La representacin del enunciado anterior

usando simbologa lgica es:
Elena de
19
OPERADOR OR (O)
Con este operador se obtiene un resultado

verdadero cuando alguna de las proposiciones
es verdadera.
Ejemplo, sea el siguiente enunciado
Donde:
Una persona puede entrar al cine si compra su

boleto u obtiene un pase.
p: Entra al cine.
q: Compra su boleto.
r: Obtiene un pase.
La representacin del enunciado anterior usando

simbologa lgica es:
Elena de
20
OPERADOR NOT (NO)
Su funcin es negar la proposicin. Esto

significa que s alguna proposicin es verdadera
y se le aplica el operador not se obtendr su
complemento o negacin (falso).
Ejemplo, la negacin de
Donde:
est lloviendo en este momento.

p=1
p=0
es: est lloviendo en este momento

es: no est lloviendo en este momento
La representacin del enunciado

anterior usando simbologa lgica es:
Elena de
21
IMPLICACIN (SIENTONCES)
Con este operador se obtiene un resultado falso

cuando la primera proposicin es verdadera y la
segunda es falsa
Donde:
Una persona si compra su boleto, entonces puede

entrar al cine.
p: Compra su boleto.
q: Entra al cine.
La representacin del enunciado anterior

usando simbologa lgica es:
Elena de
22
DOBLE IMPLICACIN (SI Y SLO

SI)
Con este operador se obtiene un resultado

verdadero cuando las dos proposicin son iguales,
o son verdaderas o son falsas
Donde:
Una persona si compra su boleto, entonces puede

entrar al cine.
p: Compra su boleto.
q: Entra al cine.
La representacin del enunciado anterior usando

simbologa lgica es:
Elena de
23
FUNCIONES DE
VERDAD
Elena de
24
CONJUNCIN
Se llama conjuncin de dos proposiciones

dadas, p y q, a la proposicin que se obtiene
enunciando p a continuacin de q, unidas por el
operador and y
En el ejemplo:
El coche enciende cuando tiene gasolina en el

tanque y tiene corriente la batera.
Donde:
p: El coche enciende.
q: Tiene gasolina el tanque.
r: Tiene corriente la batera.
Elena de
25
CONJUNCIN
Su tabla de verdad es como sigue:
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
Se llama disyuncin de dos proposiciones

enunciando p a continuacin de q, unidas por el
operador or o
En el ejemplo:
Una persona puede entrar al cine si compra su

boleto u obtiene un pase.
Donde:
p: Entra al cine.
q: Compra su boleto.
r: Obtiene un pase.
Elena de
27
DISYUNCIN

Donde.
1 = verdadero
0 = falso
1
1
0
0
1
0
1
0
p=q
Vr
1
1
1
0
Basta con que una de las dos proposiciones sea

verdadera, para que el resultado sea verdadero,
en los dems casos ser falso
Elena de
28
NEGACIN
Se llama negacin de una proposicin dada, p,

a la proposicin que se obtiene enunciando la
negacin de p, por el operador not no
En el ejemplo: la negacin de
est lloviendo en este momento.
Donde:
p=1
p=0
Elena de
es: est lloviendo en este momento

es: no est lloviendo en este momento
29
NEGACIN
Donde.
p
1
0
1 = verdadero
0 = falso
p
0
1
La negacin de una proposicin es el valor

contrario al que sta tiene.
Elena de
30
PROPOSICIN CONDICIONAL
(IMPLICACIN)
Se llama condicional de dos proposiciones

enunciando p a continuacin de q, unidas por la
expresin si entonces
En el ejemplo: el candidato de un partido dice:
"Si salgo electo presidente de la Repblica

recibirn un 50% de aumento en su sueldo el
prximo ao".
Donde
p: Sali electo Presidente de la Repblica.

q: Recibirn un 50% de aumento
en su sueldo el prximo ao.
Elena de
31
PROPOSICIN CONDICIONAL
(IMPLICACIN)

p
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)
Se llama bicondicional de dos proposiciones

enunciando p a continuacin de q, unidas por la
expresin si y slo si
En el ejemplo:
"Es buen estudiante, si y solo si; tiene promedio de

diez.
Donde
p: Es buen estudiante.
q: Tiene promedio de diez
Elena de
33
PROPOSICIN BICONDICIONAL
(DOBLE IMPLICACIN)

p q p
Donde.
q
1 = verdadero
1 1
1
0 = falso
1 0
0
0 1
0
0 0
1
Cuyo resultado ser verdadero nicamente
cuando ambas proposiciones sean iguales, o
son verdaderas o son falsas, en los dems
casos ser falso
Elena de
34
ENUNCIADOS CON CONECTORES

LGICOS
Representar el siguiente enunciado con
conectores lgicos:
Si no pago la luz, entonces me cortarn la corriente

elctrica. Y Si pago la luz, entonces me quedar sin
dinero o pedir prestado. Y Si me quedo sin dinero y
pido prestado, entonces no podr pagar la deuda, si
solo si soy desorganizado
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
Formaliza las siguientes proposiciones:
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

LGICOS
Evaluar cada proposicin,
segn los valores de verdad.
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
Evaluar cada proposicin,

segn los valores de verdad:
p=0
r =0
q=1
s=1
(p q) r
(s (p r)) ((p (r V q)) s)
((p q) (q r)) (s V q)
Elena de
38

LGICOS
Exprese en forma simblica cada uno de los
enunciados, suponiendo que a, b y c son nmeros
reales y que:
p: a < b
q: b < c
r: a < c
Dada la expresin:
Si a > c entonces (b > a

y b < c)
r
( p
Soluci
q )
n
Elena de
39
EJERCICIO
Exprese en forma simblica cada uno de los

enunciados, suponiendo que a, b y c son
nmeros reales y que:
p: a < b
q: b < c
r: a < c
Si no es verdad que (a < c y b < c), entonces a c
Si no es verdad que (a < b y (ya sea a < b o b <

c)), entonces (si a b, entonces a < c)
a < b si y solo si (b < c y a < c)
Elena de
40

LGICOS
Formule por escrito las expresiones simblicas,

utilizando:
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
Formule por escrito las expresiones

simblicas, utilizando:
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

LGICOS
Formalizar las siguientes

proposiciones y
confeccionar su tabla de
verdad:
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
Formaliza las siguientes proposiciones

y confecciona su tabla de verdad:
Ests seguro y lo que dices es cierto, o

mientes como un bellaco.
Si 4 < 6, entonces 9 > 12
Elena de
44

LGICOS
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
Son 3 proposiciones distintas, entonces 2 = 2 *

2 * 2 = 8 lneas o filas
De las 8 filas, la mitad son verdaderas y la
mitad falsas para la primera proposicin = 8 / 2
= 4; 4 verdaderas y 4 falsas
De las 4 primeras filas de la primera
proposicin, la mitad son verdaderas y la mitad
falsas para la segunda proposicin = 4 / 2 = 2;
2 verdaderas y 2 falsas
De las 2 primeras filas de la segunda
proposicin, la mitad son verdaderas y la mitad
falsas para la tercera proposicin = 2 / 2 = 1; 1
verdadera y 1 falsa
Elena de
pq
11
11
10
10
01
01
00
00
r
1
0
1
0
1
0
1
0
48
TAUTOLOGA
Es aquella proposicin compuesta que es cierta

para todos los valores de verdad de sus
variables.
(p q) (q
Ejemplo:
p)
1
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
Es aquella proposicin compuesta que es falsa

para todos los valores de verdad de sus
variables (p q) (q
Ejemplo:
p)
2
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
Es aquella proposicin compuesta cuyos

resultados son verdaderos y falsos para todos
los valores de verdad de sus variables
(p V q)
Ejemplo:
(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
Confeccione las tablas de verdad de las

siguientes proposiciones, e indique si es
tautologa, contradiccin o contingencia.
(p q) V (r p)
(p q) (r r)
((((p q) r) (q r)) (p r))
Elena de
52
EQUIVALENCIA LGICA
Se dice que dos proposiciones son lgicamente

equivalentes, o simplemente equivalentes. Si
coinciden sus resultados para los mismos
valores de verdad.
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
En donde se puede observar que ambos (1 y 2)

resultados son iguales y se dice que son
equivalentemente lgicas, de no ser iguales, se denota
como y se dice que no son equivalentemente lgicas
Elena de
54
EJERCICIO
Indique si las siguientes proposiciones

son lgicamente equivalentes
p q (p q) (r r)
p q (p q) (q p)
(p q) r p (q r)
Elena de
55
Elena de
56

10 C6AlgBooICC 10

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

10 C6AlgBooICC 10

Enviado por

Direitos autorais:

Formatos disponíveis

Captulo 6

Introduccin a las Ciencias de la

La lgica como cualquier

Introduccin a las Ciencias de la

EJEMPLO DE UNA DEDUCCIN

Introduccin a las Ciencias de la

Introduccin a las Ciencias de la

La lgica plantea certezas

Introduccin a las Ciencias de la

La lgica estudia los

Introduccin a las Ciencias de la

Introduccin a las Ciencias de la

RESTRINGIR LOS VALORES DE

Introduccin a las Ciencias de la

Introduccin a las Ciencias de la

ES POSIBLE COMBINAR LAS

Estas pueden ser, segn valor de verdad:

Tautologa o validez: es una frmula que siempre

Contradiccin: es una frmula que siempre es

Contingencia: es una frmula que puede ser

Introduccin a las Ciencias de la

LAS FORMULAS DEBEN CUMPLIR

Una variable proposicional es una sentencia

Introduccin a las Ciencias de la

LAS FORMULAS QUE COMBINAN

Binarias: se aplican a dos sentencias, se

Introduccin a las Ciencias de la

SE DEBE CONTAR CON UN

Introduccin a las Ciencias de la

Introduccin a las Ciencias de la

CUALES DE LOS SIGUIENTES

t: Hola como estas?

w: Lava el coche por favor

Una proposicin o enunciado lgico es el

Introduccin a las Ciencias de la

Existen conectores u operadores lgicos que

Introduccin a las Ciencias de la

OPERADOR AND (Y)

Se utiliza para conectar dos proposiciones que

Ejemplo, sea el siguiente enunciado:

El coche enciende cuando tiene gasolina en el

La representacin del enunciado anterior

Introduccin a las Ciencias de la

Con este operador se obtiene un resultado

Ejemplo, sea el siguiente enunciado

Una persona puede entrar al cine si compra su

La representacin del enunciado anterior usando

Introduccin a las Ciencias de la

OPERADOR NOT (NO)

Su funcin es negar la proposicin. Esto

est lloviendo en este momento.

es: est lloviendo en este momento

La representacin del enunciado

Introduccin a las Ciencias de la

Con este operador se obtiene un resultado falso

Ejemplo, sea el siguiente enunciado

Una persona si compra su boleto, entonces puede

La representacin del enunciado anterior

Introduccin a las Ciencias de la

DOBLE IMPLICACIN (SI Y SLO

Con este operador se obtiene un resultado

Ejemplo, sea el siguiente enunciado

Una persona si compra su boleto, entonces puede