Lógica proposicional importancia y simbolización

9,598 views

Published on

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
9,598
On SlideShare
0
From Embeds
0
Number of Embeds
2,076
Actions
Shares
0
Downloads
36
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Lógica proposicional importancia y simbolización

  1. 1. Fundamentos Informáticos Lógica Proposicional: Importancia y Simbolización
  2. 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. 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. 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. 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
  6. 6. GRACIAS

×