Glosario De Logica

Glosario de lógica
Bicondicional: es una proposición constituida por la conjunción de dos proposiciones condicionales.
Calculo Proposicional: se refiere a las relaciones que pueden establecerseentre proposiciones y a la relación que nos permite afirmar que una proposición se sigue o deriva de otras .
Conectiva lógica: es una expresión que sirve para enlazar proposiciones simples.Conjunción: a “y” se le denomina en lógica conjunción, su función es la de indicar que dos proposiciones ocurren o se presentan como verdaderas simultáneamente, se emplea el símbolo “&”.
Disyunción: a “o” se ledenomina en lógica disyunción, hay dos tipos de disyunciones.
Disyunción inclusiva: se representa con el símbolo “V” y admite que se cumple una alternativa o la otra o bien ambas, lo cual indica quea disyunción resultará verdadera si ambas alternativas lo son o al menos una de ellas y resultará falsa solo en el caso de que ambas sean falsas.
Disyunción exclusiva: se simboliza con el siguientesímbolo “ ” indica que solo se admite una alternativa o la otra pero no ambas.
Lenguaje simbólico: es un lenguaje artificial en el que se usan símbolos convencionales que representan a otrossímbolos o signos, que tienes la finalidad de representar significados precisos y exactos.
Proposición: es un enunciando en el que se afirma o niega algo de algo, siendo por ella susceptible de serverdadero o falso.
Proposición simple: es un enunciando no susceptible de ser descompuesto sin que deje de ser enunciado.
Proposición compuesta: tiene como parte componente una o varias proposicionessimples, además de ciertas expresiones de enlace como: no, y, o, si… entonces, si y solo si.
Proposición condicional: (también llamada implicación) se obtiene si combinamos dos proposiciones por mediode la expresión Si entonces.
Proposiciones Tautológicas: es una proposición compuesta que es verdadera en todos los casos.
Proposiciones Contradictorias: es una proposición compuesta que es...