PDF de programación - Teoría 2 - Lógica Proposicional - Fundamentos de la informática

Imágen de pdf Teoría 2 - Lógica Proposicional - Fundamentos de la informática

Teoría 2 - Lógica Proposicional - Fundamentos de la informáticagráfica de visualizaciones

Actualizado el 8 de Agosto del 2018 (Publicado el 24 de Junio del 2018)
777 visualizaciones desde el 24 de Junio del 2018
3,7 MB
48 paginas
Creado hace 5a (01/01/2016)
P
r
e
s
e
n
t
a
c
i
ó
n

Profesor Responsable: Lic. Jacqueline Fernández
Docentes: Viano, H.; Liendo, C.; Rodriguez, I.; Herrera, W., Granero, J.

Dpto. de Informática – Fac. Cs. Físico, Matemática y Naturales
Bloque 2 – Primer Piso – Boxes 5, 6 y 20
Area de Servicios –

http://servicios.dirinfo.unsl.edu.ar/ - Campus Virtual
Carreras:
Materia:
Fundamentos de la Informática
Int. A la Programación
Int. A la Programación
Int. A la Computación

Ingeniería Electrónica
TUT – TUG – Prof. En Tec. Electrónica
TUM – TUE – TUW - TUR

Primer
 
 Cuatrimestre,
 año
 2016
 
1

Teoría 2

Lógica Proposicional

“La lógica es el arte de equivocarse
con confianza”

(J. W. Krutch)

2015 - Fund. de la Informática-Int.a la Computación - Int. a la Programación – Dpto. de Informática - FCFMyN
 

2

Lógica Proposicional

Introducción

Casa

Casa

Esencia
 

2015 - Fund. de la Informática-Int.a la Computación - Int. a la Programación – Dpto. de Informática - FCFMyN
 

3

Lógica Proposicional

Concepto
 

Casa

2015 - Fund. de la Informática-Int.a la Computación - Int. a la Programación – Dpto. de Informática - FCFMyN
 

4

Lógica Proposicional

Vagos
Concretos

Conceptos
 

Abstractos

Imperfectos

Complejos
Simples

¿Cómo nos expresamos los seres humanos?

El lenguaje natural es muy rico, redundante y ambiguo por su relación intrínseca
entre la interpretación del sistema emisor-receptor y el referente del mensaje

2015 - Fund. de la Informática-Int.a la Computación - Int. a la Programación – Dpto. de Informática - FCFMyN
 

5

Lógica Proposicional

Introducción

Existen en la realidad un número considerable de problemas con los que una persona
se enfrenta y de los cuales se deben deducir ciertos datos para poder resolverlos.


Una deducción, razonamiento o inferencia, es un tipo de pensamiento que se basa en
la generación de conocimiento nuevo (la conclusión) a partir de un conocimiento
existente (las premisas)

2015 - Fund. de la Informática-Int.a la Computación - Int. a la Programación – Dpto. de Informática - FCFMyN
 

6

Ejemplos

Introducción

Todos los hombres son mortales.
Sócrates es un hombre
Por tanto, Sócrates es mortal

PREMISAS

CONCLUSIÓN

Olaf no es español pues es alto, rubio, de tez clara y habla con acento extranjero

CONCLUSIÓN

PREMISAS

Una deducción, razonamiento o inferencia, es un tipo de pensamiento que se basa en la
generación de conocimiento nuevo (la conclusión) a partir de un conocimiento existente
(las premisas)

2015 - Fund. de la Informática-Int.a la Computación - Int. a la Programación – Dpto. de Informática - FCFMyN
 

Lógica Proposicional

Si bien la forma en que las personas aplican el poder deductivo es muy personal,
éste podría ser encausado o guiado a través del uso de reglas de deducción.

Es necesario entonces

Lenguaje
natural

Lenguaje
simbólico

Transformación

2015 - Fund. de la Informática-Int.a la Computación - Int. a la Programación – Dpto. de Informática - FCFMyN
 

8

Lenguaje Natural: Frases y Conjunciones

Si se desea deducir información a partir de nuestro lenguaje cotidiano formado de
frases o expresiones, es necesario poder evaluarlas como verdadera o falsa (aunque
no todas pueden ser evaluadas).
Ejemplos:



Frases
 categorizables
 

Lima es la capital de Perú
El
 cocodrilo
 es
 un
 mamífero
 
El doble de 3 es 5

Si
 Juan
 no
 tiene
 dinero
 entonces
 
no
 compra
 dulces
 

Frases No categorizables
¡Auxilio!
 
¿Qué hora es?
Alcánzame
 el
 libro
 

 
¿Quién ganará las
elecciones?

R e s u m i e n d o :
Toda frase o
expresión que
t i e n e u n a
función de tipo
informativa es
categorizable.

2015 - Fund. de la Informática-Int.a la Computación - Int. a la Programación – Dpto. de Informática - FCFMyN
 

9

La misma información se puede transmitir a través de diferentes construcciones gramaticales.

Ejemplo:

1- Socrates es hombre entonces es mortal.
2- Si Socrates es hombre, mortal es.
3- Socrates es hombre.
Socrates es mortal.
4- Socrates es mortal porque todos los
hombres son mortales.

En los casos 2, 3 y 4 se podría llegar a deducir lo mismo que en el caso 1 haciendo
uso de reglas gramaticales y del significado por nosotros conocido asociado a las
palabras.

La diferencia se encuentra en la manera en que se construye la frase.

2015 - Fund. de la Informática-Int.a la Computación - Int. a la Programación – Dpto. de Informática - FCFMyN
 

10

Gramaticalmente las frases se pueden distinguir:
•  Frases Simples: constan de un sujeto y un predicado.
•  Frases Compuestas: se conforman a partir de las frases simples unidas por
elementos gramaticales (conjunciones) que las asocian.

Para poder transmitir una misma información por medio de diferentes frases, se
tratará de expresar una idea a través de:

•  una única frase (simple o compuesta).
•  el uso de construcciones gramaticales semejantes.

¿Como poder transmitir información haciendo uso de construcciones
independientemente del significado por nosotros conocido asociado a las palabras?

Mediante el uso de un Lenguaje Simbólico

2015 - Fund. de la Informática-Int.a la Computación - Int. a la Programación – Dpto. de Informática - FCFMyN
 

11

Leng. Simbólico: Enunciados y Conectivas
Medidas para formalizar un lenguaje:
1. Restringir el lenguaje a frases categorizables.
2. Adoptar una nueva terminología. Esto es, llamar:
•  A las frases: enunciados o proposiciones.
•  A los elementos gramaticales que unen frases simples: conectivos.

3. Adoptar una representación simbólica :

•  Para representar los proposiciones: letras mayúsculas.
•  Para representar los conectivos: símbolos tales como ∧ ¬ ∨ ⊕ ⇒ ⇔ .

Una vez que un enunciado del lenguaje natural se representa por medio de la
simbología asociada tenemos una estructura o esqueleto lógico que nos va a permitir
realizar nuestras deducciones. Es decir la forma que tiene dicho enunciado.

2015 - Fund. de la Informática-Int.a la Computación - Int. a la Programación – Dpto. de Informática - FCFMyN
 

12

Lógica Formal

La Lógica Formal es la ciencia del razonamiento formalmente válido

Se
 encarga
 de
 las
 formas
 y
 de
 las
 leyes
 generales
 del
 razonamiento
 humano
 

Estudia los principios y métodos a través de los cuales poder determinar la validez
de argumentos, desde el punto de vista solamente de su estructura, sin tomar en
cuenta el contenido semántico de las expresiones de los argumentos.

2015 - Fund. de la Informática-Int.a la Computación - Int. a la Programación – Dpto. de Informática - FCFMyN
 

13

Lógica Formal

1.  Todos
 los
 snark
 son
 bojum
 
2.  Rufus
 es
 un
 snark
3.  Por
 tanto,
 Rufus
 es
 bojum.


 


 
 

•  Desde el punto de vista de su estructura este argumento es válido.
•  El significado de los elementos que intervienen no es tomado en cuenta

2015 - Fund. de la Informática-Int.a la Computación - Int. a la Programación – Dpto. de Informática - FCFMyN
 

14

Lógica Formal





1- Argentina está en África o Argentina está en Asia.
2- Argentina no está en Asia
3- En consecuencia, Argentina está en África.
El argumento es válido desde el punto de vista lógico, aún cuando sabemos
que la conclusión es falsa.

•  La lógica no verifica el significado de las premisas.

Debido a lo anterior es necesario distinguir entre proposiciones
verdaderas y proposiciones lógicamente verdaderas.
Las primeras son verdaderas independientemente de su estructura, mientras
que las segundas no lo son.

2015 - Fund. de la Informática-Int.a la Computación - Int. a la Programación – Dpto. de Informática - FCFMyN
 

15

Leng. Formal: Formas Enunciativas





Desde el punto de vista simbólico, es necesario poder lograr deducir información
solamente a través de la forma de los enunciados.
Formas enunciativas: es la forma en que se va a formular una idea de modo que
ésta exprese siempre lo que se desea.
Generalizando:
•  Dados P, Q, R enunciados (proposiciones), se los denomina variables de
enunciado o variables proposicionales.
•  Dado P variable de enunciado, este adquiere valor de: verdadero o falso.
•  Dados P y Q enunciados, la ligadura de ambas a través de un conectivo es también
un enunciado (enunciado compuesto).
•  Dados P y Q enunciados simples (verdaderos o falsos), la ligadura de P con Q, será
también verdadero o falso y sus valores surgen a partir de los valores de las formas
enunciativas que las componen.

2015 - Fund. de la Informática-Int.a la Computación - Int. a la Programación – Dpto. de Informática - FCFMyN
 

16

Lógica Proposicional

La construcción de enunciados compuestos requiere del uso de elementos
que permitan establecer una relación entre los enunciados que la componen;
estos elementos se conocen como conectivas lógicas.


Asimismo es necesario poder determinar si un enunciado es Verdadero o
Falso.
La Lógica Proposicional establece las reglas de interpretación de enunciados a
través de Tablas de verdad, y cuales serán las conectivas lógicas básicas a ser
usadas junto con su representación simbólica.


2015 - Fund. de la Informática-Int.a la Computación - Int. a la Programación – Dpto. de Informática - FCFMyN
 

17

Tabla 1: Conectivas lógicas

Formas Enunciativas Compuestas y Tablas de Verdad
Las formas enunciativas compuestas se forman a partir de enunciados simples
unidos por conectivos.

Ejemplo:


P: ''El agua esta fría y el calentador está descompuesto''



A: El agua está fría
B: El calentador está descompuesto



Conectivo Logico










Donde s
  • Links de descarga
http://lwp-l.com/pdf12111

Comentarios de: Teoría 2 - Lógica Proposicional - Fundamentos de la informática (0)


No hay comentarios
 

Comentar...

Nombre
Correo (no se visualiza en la web)
Valoración
Comentarios...
CerrarCerrar
CerrarCerrar
Cerrar

Tienes que ser un usuario registrado para poder insertar imágenes, archivos y/o videos.

Puedes registrarte o validarte desde aquí.

Codigo
Negrita
Subrayado
Tachado
Cursiva
Insertar enlace
Imagen externa
Emoticon
Tabular
Centrar
Titulo
Linea
Disminuir
Aumentar
Vista preliminar
sonreir
dientes
lengua
guiño
enfadado
confundido
llorar
avergonzado
sorprendido
triste
sol
estrella
jarra
camara
taza de cafe
email
beso
bombilla
amor
mal
bien
Es necesario revisar y aceptar las políticas de privacidad