fundamentos informáticos ii bim lógica
TRANSCRIPT
ESCUELA:
PONENTE:
FUNDAMENTOS INFORMÁTICOS
CICLO:
Escuela de Ciencias de la Computación
Ing. Irma Elizabeth Cadme S.
OCTUBRE 2009 – FEBRERO 2010
1
BIMESTRE: II BIMESTRE
UNIDAD 4: Introducción a la Lógica
Definición e importancia de la lógica. Sintaxis de lógica proposicional. Tablas de verdad. Tautologías, contradiciones, contingencias. Inferencias
Objetivo
Reconocer y utilizar los conceptos fundamentales de la lógica de proposiciones.
3
Lógica
Ciencia que expone las leyes, modos y formas del conocimiento científico.
Métodos y principios utilizados para distinguir razonamiento correcto del incorrecto.
Logikós - logos: razón–estudio Opera utilizando un lenguaje simbólico artificial
y realizando abstracción de contenido 2 aspectos: Sintaxis(gramática) y Semántica
5
Lógica proposicional
Proposición: enunciado que afirma o niega algo y que puede ser verdadero o falso.
Estudia enunciados como un todo y sus relaciones con otros enunciados
Concida como lógica binaria. Ej: La tierra es redonda (V)
Quince es mayor que once (F)5
Lógica proposicional Enunciados simples: Luis es buen
futbolista Expresan una sola idea de forma simple No contienen otras proposiciones
Enunciados compuestos: Luis es buen futbolista y su hermano es excelente pintor. Se construyen de la unión de 2 o más
enunciados simples a través de conectores
6
Conectivas lógicas y su jerarquía
7
Son partículas de nuestro lenguaje natural, que permiten enlazar enunciados simples.
Conectivas principales
8
Ejemplos:
9
Es falso que la luna es de queso. Los alumnos no hicieron la tarea a pesar
de que perderán puntos en su promedio.
Rodrigo es católico o es protestante. Resolver los ejercicios es necesario para
desarrollar destrezas. Aprobaré el curso si y solo si obtengo el
puntaje necesario.
Tablas de verdad
10
Negación Una sola preposición
Tablas de verdad
11
Negación Una sola preposición Ejemplo:
La mesa es gris La mesa no es gris
Tablas de verdad
12
Conjunción Indica se cumplen 2 condiciones
simultáneamente Ejemplo:
La mesa es gris y las sillas son cafés
Tablas de verdad
13
Disyunción Indica se cumple una de las
2 condiciones. Ejemplo:
Visitó el museo o la catedral
Tablas de verdad
14
Condicional No es conmutativo Ejemplo:
Si la noche está estrellada entonces mañana será día soleado.
Si hoy hay luna llena entonces hará frío esta noche.
Tablas de verdad
15
Bicondicional No es conmutativo Ejemplo:
Recibirás tu salario completo si y solo si cumples las horas que la ley lo exige.
Ejercicios
16
Construcción de tablas de verdad