Conceptos de la lógica proposional

Proposiciones y operadores lógicos
1. La proposición
  1. Oración que puede ser verdadera o falsa, pero no ambas ejm: La tierra es redonda
    1. Clasificación
      1. Proposición simple
        Una sola oración, se le asigna una variable proposional ejm: q: Hoy es martes
      2. Proposición compuesta
        Dos o más proposiciones simples unidas por operadores lógicos, ejm: p y q: Pitágoras era griego y geómetra
2. Operadores lógicos
  1. Permiten decidir que valor de la verdad tiene una proposición
    1. Negación
    2. Disyuncion exclusiva
    3. Disyunción inclusiva
    4. Doble negación
    5. Conjunción
Proposiciones condicionales
1. Condicional
  1. Algunas formas son: entonces, por tanto, se refiere. Ejm: u: si llueve, entonces me mojaré
2. Bicondicionales
  1. Algunas formas son: si y solo si, es equivalente a, entre otras. Ejm: un polígono es cuadrilátero si y solo si tiene cuatro lados
Tabla de verdad
1. Es aquella que muestra el valor de verdad de una proposición, es decir, nos dice en que situación el enunciado es verdadero y en cuales es falso

Resource summary

	Created by SHEILA VANESSA PÉREZ PINEDA almost 7 years ago