Please enable JavaScript.
Coggle requires JavaScript to display documents.
lógica proposicional y operaciones lógicas - Coggle Diagram
lógica proposicional y operaciones lógicas
conjuntos
diferencia
interseccion
union
complemento
conectivos logicos
bicondicional
conjuncion
disyunsion
condicional
logica tradicionalo no funcional
Lógica formal. También conocida como lógica tradicional o lógica filosófica, se trata del estudio de las inferencias con contenido puramente formal y explícito.
simbolica o formal
Con la lógica simbólica buscamos crear un lenguaje artificial, el mismo utiliza símbolos convencionales para representar proposiciones. Estos simbolos funcionan como conectivos y representan operaciones sobre proposiciones. Si p es verdadera, entonces ¬p es falsa y a la inversa.
logica
la logica de enunciados o de proposiciones es el nivel mas basico de de analisis logico y descansa exclusivamente en las conectivas
tablas de la verdad
Tablas de verdad o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.
atomica simple
Según su estructura o complejidad interna las proposiciones pueden clasificarse en: Proposiciones atómicas o simples, cuando hacen referencia a un único contenido de verdad o falsedad; vendría a ser equivalente a la oración enunciativa simple en la lengua.
moleculares
Proposiciones moleculares cuando están constituidas por varias proposiciones atómicas unidas por ciertas partículas llamadas "nexos o conectivas", que establecen relaciones sintácticas como función de coordinación y subordinación determinadas entre las proposiciones que la integran