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