LOGICA DE PROPOSICIONES Y TABLA DE VERDAD

Es un sistema formal diseñado para analizar ciertos tipos de argumentos.

. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de formar otras fórmulas de mayor complejidad.[1] Como otros sistemas lógicos, la lógica proposicional intenta esclarecer nuestra comprensión de la noción de consecuencia lógica para el rango de argumentos que analiza.







Proposición conjuntiva
Esta formada por dos o mas proposiciones simples.

La conjunción es verdadera sólo cuando ambas variables lo son y es falsa en los demás casos.




propocision disyuntiva

Es una proposición compuesta la cual admite una ley para la falsedad que indica que esta proposición es únicamente falsa cuando ambas que la conforman son falsas.

implicacion o condicional
Aunque en el lenguaje ordinario no suele tener importancia esta distinción, en su sentido lógico y científico las diferencias pueden tener un sentido importante.
Tanto la condición como la implicación en el cálculo lógico se expresan según el esquema A → B, que puede leerse de dos formas:

Se lee Ejemplo
Si A entonces B "Si hoy es Martes entonces mañana es Miércoles".
A implica B "Hoy es Martes", por tanto "mañana es Miércoles".

bicondicional o equivalente
En matemáticas y lógica, un bicondicional, también llamado equivalencia o implicación doble, es una proposición de la forma "P si y sólo si Q", en la cual tanto P como Q son ambas ciertas o ambas falsas. También se dice que Q es una condición necesaria y suficiente para P.

Normalmente se usa el símbolo o ↔ para denotar esta coimplicación, quedando así: . En español se usan las abreviaturas sii, ssi y syss, de modo que es equivalente a “p sii q”.