LÒGICA PROPOSICIONAL

LÒGICA PROPOSICIONAL

1. LÒGICA

   • Consiste en examinar la validez o la ivalidez de ua afirmacion

2. PROPOSICIÒNN

   • Construye una oraaciòn que puede der falsa o verdadera

3. CLASIFICACIÒN

   • SIMPLES
     • son aquellas que están estructuradas por una única oración
   • COMPUESTAS
     • son aquellas que están estructuradas por dos o más proposiciones simples unidas por operadores lógicos,

4. TRADUCCIÒN DEL LENGUAJE NATURAL Y SIMBOLICO

   • Lenguaje natural
     • el lenguaje que hablamos en nuestra vida cotidiana, que en nuestro caso es el español
   • Lenguaje simbólico
     • Traducir Trabajar con proposiciones requiere la aptitud de poder traducirlas del lenguaje natural al simbólico (también denominada traducción simbó- lica) y viceversa.
     • permite examinar con mayor facilidad las formas del pensamiento y sus leyes

5. OPERADORES LÒGICOS

   • Doble negación
     • Si la negación de cualquier proposición p verdadera es falsa, entonces cuando se vuelve a negar será nuevamente verdadera;
   • Negación (a)
     • Sera falsa cuando se niegue una proposicion verdadera
   • son aquellos símbolos que permiten decidir qué valor de verdad tiene una proposición.
   • Conjunción (š)
     • Si p y q representan dos proposiciones simples, entonces la proposición compuesta p šq, solo será verdadera cuando las dos proposiciones lo sean.
       • Disyunción inclusiva (›)
       • Disyunción exclusiva (†)

6. Proposiciones condicionales

   • Condicional o implicación (Ÿ)
   • Si p y q representan dos proposiciones simples, entonces la proposición compuesta p Ÿq solo será falsa cuando p, llamado antecedente o hipó- tesis, sea verdadero y q, llamado consecuente o conclusión, sea falso.
   • Bicondicional o equivalencia (œ)
     • Si p y q representan dos proposiciones simples, entonces la proposición compuesta p œq, solo será verdadera cuando ambas proposiciones tengan el mismo valor de verdad.

7. TABLAS DE VERDAD

   • es una tabla que muestra el valor de verdad de una proposición compuesta, así como de algunos casos de proposiciones simples, cuando estas utilizan los operadores lógicos de negación y doble negación, dependiendo de los operadores lógicos usados y de los valores de verdad de las proposiciones simples involucradas.

Bilder und Dateien der Mindmap