Lógica

Lógica

1. La lógica es la ciencia formal que estudia los principios de la demostración y la inferencia válida.La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas.

2. PROPOSICIONES

   • Una proposición es una sentencia que puede ser verdadera, circunstancia que indicaremos asociándola el valor de verdad V, o falsa, en cuyo caso le asociaremos el valor de verdad F.
     • Nos referimos al carácter “verdadero” o “falso” de una proposición con la palabra valor de verdad de la proposición: el valor de verdad de una proposición verdadera es “verdadera”, y el valor de verdad de una proposición falsa es “falsa”.
     • TIPOS DE PROPOSICIONES
       • SIMPLES
         • Cuando NO usa conectores lógicos o términos de enlace (y, o, no, si… entonces…, si y sólo si)
         • Una sola variable, una sola letra
       • COMPUESTAS
         • Cuando se juntan varias proposiciones simples con conectores lógicos o términos de enlace
         • Al menos una variable y alguno de los conectivos lógicos
         • NEGACIÓN
           • Si p es una proposición fundamental, de ésta se puede formar otra proposición opuesta a p; se llama la Negación de p (~p), escribiendo: "Es falso que" antes de p, o se inserta en p la palabra "No".
             • No es cierto que 2+3=6
             • p: Yo estudio....~p: Yo no estudio
         • DISYUNCIÓN
           • La proposición "p o q" es FALSA únicamente en el caso en que p y q sean falsas; en cualquier otro caso es verdadera. Se escribe "p V q" y se lee "p o q".
             • p: Todos los perros son negros....F q: la suma de dos números pares es un número par...V pVq: Todos los perros son negros o la suma de dos números pares es un número par... V
             • 32 es menor que 40 o Medellín es capital de Antioquia
         • CONJUNCIÓN
           • Se simboliza como "p Λ q", y se lee como "p y q". Se define como una nueva proposición que resulta verdadera (V) en el único caso en que las proposiciones componentes p y q sean ambas VERDADERAS (V); en los demás casos es FALSA (F).
             • p: Hoy es lunes... V q: 2 + 8 = 5...F Hoy es lunes y 2+8=5...F
             • Yo fui al cine y al gimnasio
         • CONDICIONAL
           • Se simboliza como "p --> q", y se lee "Si p entonces q". Es una nueva proposición compuesta que es FALSA únicamente en el caso en que la proposición p es VERDADERA y la proposición q es FALSA.
             • p: 1+4=6... F q:8>4... V p-->q: Si 1+4=6 entonces 8>4...V
             • Si Perú es de suramérica entonces Argentina es de suramérica
         • BICONDICIONAL
           • Se simboliza "p <--> q", y se lee "p si y solo si q". Es una proposición compuesta que es VERDADERA en los casos en que ambas p y q tengan valores iguales (ambas verdaderas o ambas falsas); es FALSA en los casos en p y q tengan valores opuestos.
             • p: Messi es colombiano...F q: China está en Asia...V p<-->q: Messi es colombiano si y solo si China es de Asia...F
             • Yo voy al gimnasio si y solo si tengo dinero
         • DISYUNCIÓN EXCLUSIVA
           • Se denota "p  q" , y se lee: "O bien p o bien q". La proposición es VERDADERA cuando ambas proposiciones p y q tengan valores OPUESTOS y FALSA si ambas tienen valores de verdad IGUALES.
             • O como hamburguesa o como pizza

3. https://es.wikipedia.org/wiki/L%C3%B3gica_proposicional

4. https://es.wikipedia.org/wiki/L%C3%B3gica

Bilder und Dateien der Mindmap