Este documento trata sobre los fundamentos de la lógica proposicional. Explica la importancia de estudiar la lógica porque nos permite razonar y sacar conclusiones. Define conceptos clave como proposiciones, sintaxis, semántica y clasifica las proposiciones en simples y compuestas. También cubre la simbolización de proposiciones usando conectores lógicos.
2. ¿Por qué estudiar lógica?
• En resumen, la Lógica es una ciencia que se encarga del
estudio de leyes, modos y formas de razonamiento.
• Estudiamos la lógica porque nos permite hacer un
razonamiento para resolver diversos problemas que se
presentan en nuestra vida
cotidiana. Podemos sacar
conclusiones, realizar
demostraciones científicas,
que tienen en común la
aplicación del
razonamiento lógico.
Imagen: http://bit.ly/HDjwLH
3. Definiciones clave
• Proposición: enunciado del cual puedo determinar si es
verdadero o es falso.
– Ejemplos:
• Los computadores evolucionados son de costos que están al
alcance de un gran porcentaje de la población mundial. (V)
• La aritmética binaria es una ciencia que se encarga de estudiar el
razonamiento humano. (F)
– ¿Son proposiciones los siguientes enunciados?:
• Por favor, entre y cierre la puerta.
• Tenga la bondad de entregar su trabajo a distancia en secretaría.
Los enunciados de estos
• Sintaxis: Gramática
• Semántica: Relación entre lenguaje y su significado.
4. Clasificación de las Proposiciones
• Simples
– Ejemplos:
• Las informática permite la automatización de procesos manuales.
• Compuestas
– Ejemplos:
• Las redes LAN permiten la comunicación en un área pequeña
como de una oficina y la Internet permite la creación de la red
WAN que es la más grande del mundo.
• Conectores lógicos aquellos símbolos (monosílabos)
que permiten unir 2 o más proposiciones: ∧,∨,,
• Para poder trabajar el razonamiento podemos utilizar
tablas de verdad y/o reglas de inferencia, pero para
ello primeramente debemos aprender a simbolizar
5. Simbolización:
• Ejercicio:
– Si los transistores fueron antes que los chips de silicio
entonces las computadoras antiguas eran más lentas.
Las computadoras actuales son más rápidas, si usan
chips de silic io. Por tanto, las computadoras actuales
son más rápidas.
p = Los transistores fueron antes que los chips de
silicio
q = Las computadoras antiguas eran más lentas
r = Las computadoras actuales son más rápidas
s = Las computadioras actuales usan chips de silicio
– [(p -> q)^(s -> r)] ->r