Taller compuertas lógicas
Desarrollar en cuaderno
1. Hallar las entradas, las compuertas, la ecuación y tabla verdad de cada gráfico (tener en cuenta videos ejemplos y lectura guía anterior en sitio web)
Punto A
Punto B
OBJETIVO DEL SITIO Compartir contenidos del área con estudiantes y comunidad de la IECC Permitir a todos los miembros de la comunidad esco...
Taller compuertas lógicas
Desarrollar en cuaderno
1. Hallar las entradas, las compuertas, la ecuación y tabla verdad de cada gráfico (tener en cuenta videos ejemplos y lectura guía anterior en sitio web)
Punto A
Punto B
Ejemplos sencillos de aplicación compuertas lógicas
1. Ejemplo (abrir enlace)
2. Ejemplo (abrir enlace)
3. Ejemplo (abrir enlace)
4. Ejemplo compuertas con 3 entradas (abrir enlace)
casos especiales:
compuerta AND con 3 entradas y tabla verdad
Programación desconectados
Archivos para descargar:
Resolver y enviar al correo del docente
1. figura 1: abrir
2. figura 2: abrir
3. figura 3: abrir
Programación desconectados
Archivos para descargar:
Resolver y enviar al correo del docente
1. figura 1: abrir
2. figura 2: abrir
3. figura 3: abrir
Taller repaso HTML
Desarrollar en cuaderno los teóricos (puede consultar en la red u otros medios). Algunos puntos deben ser prácticos, se hace necesario enviar por correo
1. Escriba las etiquetas para crear una tabla en HTML
2. Escriba las etiquetas para insertar alguna imagen (sea el archivo .png .jpg .gif o .bmp)
3. ¿Cuáles son las etiquetas para reducir altura o ancho en una imágen?
4. Escriba la etiqueta para un salto de renglón
5. Consulte ¿Cuál es la etiqueta para hacer un enlace a otra pagina html, a un sitio en internet?
6. Según el punto anterior:
Actividad práctica
Diseñar un sitio para ver diversos colores en formato html
Siguiendo los ejemplos anteriores, cree una carpeta llamada colores, en su interior deben estar 5 páginas con distintos colores, todas en html
Página_ azul (desde esta página se debe ir a las restantes con enlaces), desde cada sitio visitado se debe poder regresar a página_azul
- cada página debe tener un color de fondo distinto
- cada página debe tener al menos una imágen a su gusto (aplique etiquetas para reducir tamaños)
Resolver dudas en clases
Hoja de vida
Se puede definir la hoja de vida como un
documento o herramienta a través de la cual se presenta de forma resumida la
trayectoria académica, experiencia laboral y profesional de una persona;
así como logros obtenidos y competencias desarrolladas frente al
cargo al cual se aspira.
Para realizar hojas de vida, hay diversos formatos (word,
html, etc). En esta ocasión vamos a ver un ejemplo (imagen de hoja de vida en
formato html)
ver imágen
DATOS PERSONALES
NOMBRES Y APELLIDOS: Cristiano Ronaldo dos Santos Aveiro
LUGAR Y FECHA NACIMIENTO: Funchal, Isla deMadeira,Portugal,
5 de febrero de 1985
DOCUMENTO DE IDENTIDAD: XXXX-XXX-XXXX
SEXO: MASCULINO
ESTADO CIVIL: CASADO O SOLTERO
DIRECCIÓN: AQUI VA SU DIRECCION
TELÉFONO: XXX XXXXXXX
EMAIL: CR7@gmail.com
PERFIL PROFESIONAL
ESTUDIANTE DE BACHILLERATO, GRADO DÉCIMO (10-1 MODALIDAD CONTABLE):
FORMACIÓN ACADÉMICA
EDUCACIÓN PRIMARIA: PRIMERO A QUINTO
BACHILLERATO: DÉCIMO
OTROS ESTUDIOS:
REFERENCIAS PERSONALES Y LABORALES Escriba datos sobre
personas que a nivel familiar, personal y si existe laboral, que los conozcan.
FAMILIARES
PERSONALES
LABORALES
firma digital
¿Qué es la lógica de la matemática?
ver enlace: abrir
La lógica matemática es la disciplina que trata de
métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y
técnicas para determinar si es o no valido un argumento dado.
Proposiciones
Una
proposición, en términos generales, es algo que se propone. Es decir, es una
expresión equivalente de una oración simple aseverativa,
una oración en la que se
afirma que algo es, que algo existe o que posee determinada característica. Por
lo tanto, puede ser juzgada como cierta (si concuerda con la realidad) o falsa
(si no lo hace).
ejemplos de proposiciones
Si George Boole fue el padre de la lógica moderna, el lógico alemán Gottlob Frege sería su segundo fundador. A Frege le debemos el uso de las conocidas como funciones de verdad, que permiten combinar el Álgebra Booleana con las proposiciones. Al final y al cabo, a estas se les adjudica dos posibles valores, verdadero y falso. Al trabajo de Frege le dedicamos un artículo propio:
Estas funciones de verdad toman como argumento una o varias proposiciones y devuelven un valor de verdad, o bien V (o 1), el valor verdadero o bien F (0), el valor falso.
En funciones que reciben un una proposición como argumento, este evidentemente solo puede ser una de esas dos posibilidades, o bien es una proposición es verdadera o bien falsa. Para funciones de dos argumentos f(x,y) las posibilidades son 22=4, que serían (1,1), (1,0), (0,1) o (0,0). Por ejemplo, la función conjuntiva que veremos luego c(x,y), devuelve 1 cuando recibe como argumento (1,1), y 0 para las tres posibilidades restantes.
Conectores lógicos
ver enlace: abrir
En el lenguaje de la lógica proposicional, las funciones de verdad se representa mediante conectores lógicos. Gracias a estos podemos construir nuevas proposiciones a partir de otras.
Los conectores lógicos reciben como argumentos valores de verdad. Así, la nueva proposición formada por el conector tendrá uno y solo un valor de verdad que dependerá de los valores de verdad de las proposiciones que la forman y del tipo de conector que las une. Habrá conectores diádicos (dos argumentos) y conectores monádicos (un solo argumento).
Representaremos los conectores mediante las llamadas Tablas de Verdad. Cada fila representa una posible combinación de valores de verdad, o lo que es lo mismo, las posibles interpretaciones de dos variables proposicionales (p y q). En la última columna aparecerá el valor resultado de la función de verdad.
Se debe puntualizar que los ejemplos que usaré sirven de mero apoyo didáctico. Los conectores lógicos representan el concepto de función matemática y se deben solo a ese concepto. Son, por tanto, independientes de las estructuras del lenguaje.
La conjunción, equivalente al castellano «…y…», es verdadera solo cuando ambas proposiciones son verdaderas.
«¡No puedes pasar!»
La conjunción, similar al castellano «…y…»; es verdadera solo cuando ambas proposiciones son verdaderas. Es equivalente al producto en el Álgebra de Boole.
«Muchos vivos merecerían la muerte y algunos que mueren merecen la vida»
La disyunción es verdadera siempre y cuando sean verdaderas alguna de las variables o ambas. No se corresponde exactamente tampoco con la disyunción gramatical «…o…», pues no expresa simplemente la alternancia entre las dos opciones. Es igualmente verdadera cuando ambas proposiciones son verdaderas. Su equivalente en el Álgebra de Boole es la suma.
«¿Me deseas un buen día o quieres decir que hoy es un buen día lo quiera o no?»
El condicional, también llamado implicación, niega la posibilidad de que la primera variable sea cierta sin que lo sea la segunda. Corresponde a lo que vulgarmente sería «si…entonces…». Debe apuntarse que la condicionalidad no es bidireccional: p no puede concluirse a partir de q. Tampoco expresa ninguna implicación causal.
«En caso de duda, Meriadoc, sigue siempre a tu olfato»
El bicondicional o condicional recíproco restringe su valor de verdad o bien cuando ambas variables son ciertas o cuando ambas son falsas. En lenguaje ordinario sería «…si y solo sí…». En este caso sí es bidireccional de forma que (p→q)∧(q→p). Tanto el bicondicional como el condicional cumplen el principio de que, dadas unas premisas verdaderas, la conclusión nunca puede ser falsa, un principio que será trascendental cuando veamos reglas de inferencia.
«Solo tu puedes decidir qué hacer con el tiempo que se te ha dado»
Realmente podría haber muchos más conectores lógicos. La razón por la que suelen verse estos cinco es porque son intuitivamente comprensibles.
Podrían usarse más conectores pero también menos. Y es que, gracias a la posibilidad de anidar unas expresiones dentro de otros, podemos combinarlas para realizar equivalencias. Por ejemplo, las expresiones p∧q y ¬(¬p∨¬q) son equivalentes, esto es, para los mismos valores devuelven un mismo valor de verdad. Otro ejemplo es p↔q y (p→q)∧(q→p).
Existe incluso un conector que podría sustituirlos a todos y que es conocido como «operador de Sheffer» (NAND en electrónica): p↑q. Este operador devuelve el valor verdadero solo cuando no son ambas verdaderas, ni p ni q, es decir, p↑q=¬(p∧q). Vemos abajo las equivalencias:
Otra forma de construir expresiones equivalentes pero diferentes es haciendo uso de las propiedades de ciertos operadores. La disyunción ∨ y la conjunción ∧ respetan las propiedades conmutativa, asociativa y distributiva
Propiedad conmutativa:
Propiedad asociativa:
Propiedad distributiva:
Como vemos, la Lógica Proposicional es una suerte de álgebra, en la que los símbolos pueden manipularse acorde a unas reglas. Veremos esto de forma más extendida en próximos artículos.
Todas las expresiones, por complejas que sean, poseen un valor de verdad cuando las variables que las forman son interpretadas. Gracias a las Tablas de Verdad, podemos averiguar el valor de verdad de una expresión. Esta tabla será parecida a la que hemos visto para los conectores. Por ejemplo el siguiente argumento:
«Si tres mil vidas de hombres he hollado en esta tierra entonces sí o sí, o bien tres mil vidas de hombres he hollado en esta tierra y ahora me falta tiempo o bien tres mil vidas de hombres he hollado en esta tierra y ahora no me falta tiempo»
Que podríamos traducir a lenguaje de lógica proposicional de la siguiente manera:
p↔[(p∧q)∨(p∧¬q)]
Las interpretaciones de variables (cada fila de una Tabla de Verdad) en las que la expresión resulte cierta se conocen como modelos de la expresión. Para una proposición con dos variables, como la que hemos visto antes, un modelo podría ser p=1/q=0, puesto que en la fila en la que las variables toman esos valores, la proposición se resuelve como verdadera. Fijándonos bien, realmente todas las filas de la tabla dan un resultado verdadero.
Al resolver la proposición nos podremos encontrar con tres casos distintos:
Todas las interpretaciones posibles dan una proposición verdadera: o lo que es lo mismo, todas las interpretaciones posibles son un modelo. Es el caso del ejemplo anterior en el que el bicondicional da como resultado siempre 1. Se tratan de verdades lógicas universales. Estas proposiciones se denominan válidas o tautológicas (o analíticas en la terminología de Kant). Son el fundamento de las teorías lógicas, como veremos en próximos artículos. Un ejemplo es el principio de doble negación: ¬(¬p)=p
Todas las interpretaciones posibles dan una proposición falsa: en este caso se denominan contradicciones y son falsas en todos los universos lógicos posibles. Un ejemplo es p∧¬p.
Algunas interpretaciones ofrecen una interpretación falsa y otras no: se llaman contingentes y son verdaderas dependiendo de la interpretación de las variables.