Please enable JavaScript.
Coggle requires JavaScript to display documents.
LÓGICA CONCEPTOS logica (conectivos de las proposiciones conectivos…
LÓGICA CONCEPTOS 
Lógica
Ramas de las matemáticas - instrumentos para representar el lenguaje natural - proporciona un mecanismo de deducción
-
-
-
-
-
-
Que es la Logica
La lógica es una de las ramas de la ciencia que se dedica al estudio de las formas y los modos por los cuales se rige el razonamiento, centrándose en las formas de inferencia válida. De esto se deduce que no tiene un contenido formal propio, si no que nos brinda herramientas para diferenciar un conocimiento válido de otro inválido.
Conceptos
Una tabla 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 verdad que se pueda asignar.
es un término que proviene de un vocablo griego y que hace referencia a la repetición de un mismo pensamiento a través de distintas expresiones. ... En el ámbito de la lógica, una tautología es una fórmula de un sistema que resulta verdadera para cualquier interpretació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.
CONTINGENCIA:Se entiende por verdad contingente, o verdad de hecho, aquella proposición que puede ser verdadera o falsa, (combinación entre tautología y contradicción) según los valores
-
conectivos de las proposiciones
Disyunción excluyente ↮ , ⊕ , ≢ , W , ∨ P ↮ Q
o bien... o bien
-
-
-
Condicional → , ⊃ P → Q si... entonces
Bicondicional ↔ , ≡ P ↔ Q si y solo si
-
lógica proposicional
La lógica proposicional (o lógica de orden cero) es un lenguaje formal en el que no existen variables ni cuantificación, eso implica que cualquier secuencia de signos que constituya una fórmula bien formada de la lógica proposicional admite una valoración en la proposición es cierta o falsa dependiendo del valor de verdad asignado a las proposiciones que la compongan. En otras palabras en la lógica proposicional cualquier fórmula bien formada define una función proposicional.
La disyunción es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.
-
La negación es un operador que se ejecuta. sobre un único valor de verdad, devolviendo el valor contradictorio de la proposición considerada.
Tabla de verdad de Negació
-
La conjunción es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas.
-
El condicional material es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso sólo cuando la primera proposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso.
-
El bicondicional o doble implicación es un operador que funciona sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad difieren.
-
-