Computacion

La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa"dotado de razón, intelectual, dialéctico, argumentativo", que a su vez viene de λόγος (logos), "palabra, pensamiento, idea, argumento, razón o principio". La lógica examina la validez de los argumentos entérminos de su estructura, independientemente del contenido específico de los estados reales a los que aquéllos se puedan referir. En este sentido se habla de la lógica como ciencia «formal». Lalógica es una disciplina de la filosofía, las matemáticas y la informática.
En lógica y matemática, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lalógica proposicional, las fórmulas representan proposiciones y las constantes lógicas son operaciones sobre las fórmulas que producen otras fórmulas de mayor complejidad.[1] Como otros sistemas lógicos,la lógica proposicional intenta esclarecer nuestra comprensión de la noción de consecuencia lógica para el rango de argumentos que analiza.

a. Proposiciones Simples.- También denominadas atómicas.Son aquellas proposiciones que no se pueden dividir. Ejemplo:El cielo es azul. (verdadero)Nomenclatura: p
b. Proposiciones Compuestas.- También denominadas moleculares. Son aquellas que estánformadas por dos o más proposiciones simples unidas por los operadores lógicos. Ejemplo:Fui al banco, pero el banco estaba cerrado.
Los lectores de este libro son jóvenes o universitarios.Si el miércolespróximo me saco la lotería entonces te regalaré un auto.Conectivos (Operadores) Lógicos.-Son aquellos que sirven para formaEn lógica, una conectiva lógica, o simplemente conectiva, es un símbolo quese utiliza para conectar dos fórmulas, de modo que el valor de verdad de la fórmula compuesta dependa del valor de verdad de las fórmulas componentes.

En programación se utilizan para combinar...