logica proposicional

logica proposicional

1. conectores logicos :que se encargan de unir dos proposiciones simples

   • conjunción significa ý
   • disyución:significa¨o¨
   • negación:anteponer¨no es cierto¨.
   • doble implicación: significa¨si y solo si¨
   • implicación :significa ¨entonces¨

2. simple: frase sencilla

3. tabla de verdad:establece la validez de una proposición compuesta.

   • clasificación de resultado
     • tautologica: siempre verdadera
     • contingencia: por lo menos una verdadera o una falsa
     • contradición: siempre falsa
   • ejemplo

4. compuesta: dos frases enlazadas con un conector logico

   • estas dos frases se pueden simbolizar con consonantes

Images and files in the map