IFD Paraguar, desde 1974 Formando Lderes de Calidad en Educacin

Disciplina: Algortmica. Profesora: Lourdes Daz. Alumna-Docente: Viviana Gonzlez.

CURSO: DISCIPLINA: TIEMPO: Capacidad:

1 B.T.I Algortmica. 4hs ctedras-(160 minutos).

Determina el valor de verdad de una funcin proposicional.

Indicadores: Identifica: a) trminos en una proposicin lgica b) predicados en una proposicin lgica Simboliza proposiciones lgicas utilizando: a) trminos b) predicados Utiliza cuantificadores universales para simbolizar proposiciones lgicas. Demuestra responsabilidad en la resolucin de los ejercicios en clase. Contenidos: Conceptuales: Lgica de predicados: Trminos y predicados. Conceptos. Cuantificadores. Concepto. Tipos. Smbolos. Negacin de proposiciones cuantificadas. Procedimentales: Utilizacin de: a) Trminos y predicados para simbolizar proposiciones lgicas. b) Cuantificadores universales para simbolizar proposiciones lgicas. Actitudinales: Actitud crtica y tica para la resolucin de problemas lgicos.

Secuencia Didctica
APERTURA
Agrupamiento: Tiempo aproximado: Lugar: Protagonistas: Grupo Grande. 15 minutos. Sala de clases Alumnos del 1 de la Media B.T.I.

ACTIVIDADES. Saludo Presentacin de una dinmica grupal: resolucin de un juego lgico Intercambio de opiniones sobre la actividad realizada. Rememoracin de conceptos: simbolizacin de proposiciones atmicas y moleculares.

DESARROLLO.
Agrupamiento: Grupo Grande. Tiempo aproximado: 120 minutos. Lugar: Sala de clases. ACTIVIDADES. Introduccin al tema, a travs de la deduccin de conceptos. Explicacin de los temas a ser desarrollados en el da: - Lgica de predicados: Trminos y predicados. Conceptos. Simbolizacin. - Cuantificadores. Concepto. Tipos. Smbolo. Negacin de cuantificadores. Simbolizacin. Realizacin de ejercicios de fijacin sobre las formas de simbolizar los cuantificadores universales. Intercambio de ideas, para aclarar dudas sobre las formas de simbolizar los cuantificadores universales. Presentacin de los ejercicios de evaluacin sobre cuantificadores. Monitoreo constante durante la realizacin de los ejercicios.

CIERRE
Agrupamiento: Gran Grupo. Tiempo aproximado: 25 minutos. Lugar: Sala de clases. ACTIVIDADES. Correccin de los ejercicios. Sistematizacin del tema desarrollado. Evaluacin de la clase.

Paraguar, 18 de Octubre de 2013

La perfeccin es una pulida coleccin de errores
Mario Benedetti

Cuantificadores
Trminos y predicados Trmino: Es una expresin con la que se nombra o designa un nico objeto. Ejemplo: Mara est ausente. Predicado: lo que se afirma o niega del trmino en una proposicin. Ejemplo: Trmino Scrates es sabio Predicado La simbolizacin se realiza de la forma: Predicado con letra mayscula y trmino con letra minscula. Scrates: s Sabio: E Ejemplos: Trmino El rayo de luz se retracta Predicado Lr

Trmino Susana anda graciosamente Predicado As

Trmino

Trmino EtNj

Si Toms es elegido, entonces Jorge sera nombrado Predicado Predicado

Formulas atmicas y variables Considerando la expresin x es un nmero par, no podemos saber si es verdadera o falsa porque x no es ningn objeto particular. A este tipo de expresin se le llama formula atmica. Los predicados pueden ser simples, cuando requieren un solo termino.

Ejemplo:

Juan es un astronauta. a H

Ha

Y compuestos, cuando el nmero apropiado de trminos que aadimos es dos. Ejemplo: el seor Lpez es el padre de Luis. x P y Pxy

Las formulas atmicas con variables tambin pueden combinarse con trmino de enlace y se denominan formulas moleculares. Ejemplo: Antonio ayuda a Juan y es ayudado por Jos. Jos ayuda a Antonio Cuantificadores universales Es una expresin que sirve para cuantificar (contar) cierta propiedad. El smbolo es y las expresiones ms usadas son: Para cada x; Para todo x Ejemplo: x es un sabio Para todo x, x es un sabio ( x) (Sx) Pab^Pca

Formas tpicas (siempre tendr dos nombres comunes) Cada hombre es un animal, se traduce en cada para x si x es un hombre, entonces x es un animal. Ejemplo: Hxx es un hombre Axx es un animal Solo las plantas son rboles Altera orden Pxx es una planta Axx es un rbol Negacin de cuantificadores Ninguno es ignorante/ Para todo x, x no es ignorante ( x) (Lx) No todos son buenos/ no para todo x, x es bueno ( x) (Bx) ( x) (AxPx) ( x) (HxAx)

1. En las siguientes proposiciones simboliza cada trmino con su predicado. a) Pedro ser msico si y solo si practica con diligencia ___________ b) Jorge Sand y Jorge Elliot no eran hombres ___________ c) Juan ganara si y solo si se entrena cada da ___________ d) Aristteles fue el maestro de Alejandro Magno ___________ e) Marta ama a Martn y Martin ama a Marta ___________ El seor Gmez lleva a pedro en el coche o Pedro llegara tarde a la cita ___________ 2. Simboliza completamente las siguientes proposiciones utilizando cuantificadores. a) Cada cosa esta sujeta a cambio _____________________________________________________ b) Nada es absolutamente frio _____________________________________________________ c) Todas las cosas son tomos _____________________________________________________ d) Nadie es un tonto _____________________________________________________ e) No cada uno es un tonto _____________________________________________________ f) Todos los pinos son siempre verdes _____________________________________________________ g) Todos los caballos son cuadrpedos _____________________________________________________ h) Solo los gatos tienen siete vidas _____________________________________________________ i) No toda mujer es gorda _____________________________________________________

Notebook Pizarra Proyector Pen drive Copias

Bibliografa:
Introduccin a la lgica matemtica. Suppes Programa de estudio 1 B.T.I.