Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica Proposicional (Tipos de lógica (mapa 2, Lógica comunicacional: es…
Lógica Proposicional
Tipos de lógica
Lógica comunicacional:
es un tipo de lógica derivado de la lógica simbólica o matemática, sólo que es aplicada en el área de la computación.
Lógica matemática:
Se trata de la aplicación del lenguaje matemático en la construcción de sistemas lógicos.
Lógica Informal:
se centra en el lenguaje y el mensaje que se emana de las construcciones semánticas y los argumentos.
Lógica formal:
es el estudio de proposiciones, argumentos, declaraciones u oraciones desde el punto de vista estructural.
Tipos de Proposiciones
Proposiciones Compuestas:
Una proposición será compuesta si no es simple. Es decir, si está afectada por negaciones o términos de enlace entre oraciones componentes.
Proposiciones Simples:
Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o términos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si, entonces"). Pueden aparecer términos de enlace en el sujeto o en el predicado, pero no entre oraciones.
CONTINGENCIA: En lógica, la contingencia es el modo de ser o característica de algo en cuanto a que puede ser o no ser, dependiendo del caso (algo que no es necesario, pero sí es posible).
Tablas de verdad
Una tabla de verdad lista todos los posibles valores de una o varias proposiciones simples y el valor de verdad de una o varias proposiciones compuestas construidas a partir de las proposiciones simples.
Usos
Se usa en los siguientes campos:
Informática
derecho
filosofía
economía
electrónica
CONTRADICCIÓN: En lógica, una contradicción es una incompatibilidad entre dos o más proposiciones. Por ejemplo, las oraciones «llueve y no llueve» y «ni llueve ni truena, pero llueve y truena» expresan contradicciones.
SIGNIFICA
La lógica proposicional o lógica de orden cero es la rama de la lógica matemática que estudia proposiciones, afirmaciones u oraciones.
Trata sobre la verdad o la falsedad de las proposiciones y de cómo la verdad se transmite de unas proposiciones (premisas) a otras (conclusión).
Conectivas o conectores.
TAUTOLOGÍA: En lógica proposicional, una tautología es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.La construcción de una tabla de verdad es un método efectivo para determinar si una fórmula cualquiera es una tautología o no.
¬ NEGACIÓN: No, ni, salvo, excepto.
٧ DISYUNCIÓN INCLUSIVA: O, o bien, tanto si, como si.
٧ DISYUNCIÓN EXCLUSIVA:: O, o bien, tanto si, como si.
٨ CONJUNCIÓN: Y, e, o ni (=y no), pero, empero, sin embargo, no obstante, además, coma.
→CONDICIONAL: Sí, entonces; por tanto; en consecuencia; siempre que.
↔ BICONDICIONAL: SÍ y solo sÍ; es necesario y suficiente.
Esteban Velasquez.
Karen Adarve.
Nataly Moreno.