Lógica proposicional importancia y simbolización
Upcoming SlideShare
Loading in...5
×

Like this? Share it with your network

Share
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Be the first to comment
No Downloads

Views

Total Views
3,187
On Slideshare
3,187
From Embeds
0
Number of Embeds
0

Actions

Shares
Downloads
17
Comments
0
Likes
1

Embeds 0

No embeds

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
    No notes for slide

Transcript

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