conjuncion logica

CONJUNCIÓN
Una conjunción lógica (comúnmente simbolizada como Y o
) es, en lógica y
matemáticas, un operador lógico que resulta en verdadero si los dos operadores
son verdaderos.
En lógica y matemáticas una conjunción es un enunciado con dos o más
elementos simultáneo. Una lámpara eléctrica se enciende si hay corriente
eléctrica, el interruptor está conectado, el fusible está bien y lalámpara no está
fundida, en cualquier otro caso la lámpara no se encenderá.
Para dos entradas A y B, la tabla de verdad de la función conjunción es:

Símbolo
El símbolo matemático para la conjunción lógica varía en la literatura. Además de
utilizar "Y", el símbolo en forma de es comúnmente utilizado para la conjunción.
Por ejemplo:

Se lee como "A y B". Esta Conjunción es cierta si ambas A yB son ciertas a la
vez. En todos los demás casos es falsa.
La noción equivalente en teoría de conjuntos es la Intersección de conjuntos. Y
el símbolo representativo es "y" y
DISYUNCIÓN
En matemáticas, una disyunción lógica (comúnmente conocida como O, ó ) es un
operador lógico que resulta en verdadero si cualquiera de los operadores es
verdadero.
En lógica y matemáticas una disyunción esun "enunciado con dos o más
elementos optativos". Por ejemplo "Puedes leer este artículo o editarlo", es una
disyunción con dos elementos, mientras que "Puedes leer este artículo, imprimirlo
o editarlo" es una disyunción con tres elementos.
Nótese que en el lenguaje cotidiano el uso de la palabra "o" significa a veces
"alguno, pero sólo uno", por ejemplo: "¿Vas a ir mañana a México o aEspaña?".
En lógica, a esto se le llama "disyunción exclusiva" u "o exclusivo". Cuando se
utiliza formalmente, "o", permite que uno o más de los elementos de la disyunción
sean válidos, por lo cual "o" es también llamado "disyunción inclusiva "Plantilla:Rf.
Para dos entradas A y B, la tabla de verdad de la función disyuntiva es: también
la disyunción, , es cuando hay dos elementos en dos conjuntosque forman una
proposición:

Más generalmente la disyunción es una fórmula lógica que puede tener una o más
literales separadas con "o". Una sola literal se considera una disyunción
degenerada.
== Símbolo ==•' # El símbolo matemático para la disyunción lógica varia en la
literatura. Además de utilizar "o", el símbolo en forma de "v" ("∨") es comúnmente
utilizado para la disyunción. Porejemplo: "A ∨ B" se lee como "A o B". Esta
disyunción es falsa si ambas A y B son falsas a la vez. En todos los demás casos
es verdadera.
Todas las expresiones siguientes son disyunciones:
A∨B
¬A ∨ B
Puede ser El anónimo más importante en la disyunción A ∨ ¬B ∨ ¬C ∨ D ∨ ¬E
La noción equivalente en teoría de conjuntos es la unión. Y el símbolo
representativo es "O" y "V"
IMPLICACIÓN
Elcondicional material, también conocido como implicación material, condicional
funcional de verdad o simplemente condicional, es una constante lógica que
conecta dos proposiciones. El condicional material intenta ser la versión formal del
condicional en el lenguaje natural, el cual se expresa por medio de palabras como
las siguientes:




Si llueve, entonces voy al cine.
Voy al cine sillueve.
Cuando llueve, voy al cine.

Simbólicamente, el condicional material se suele denotar de las siguientes
maneras:

, y en ocasiones:
Donde A y B son proposiciones cualesquiera. Las variables A y B se
conocen respectivamente como el antecedente y el consecuente del
condicional.
En lógica proposicional, el condicional material es una función de
verdad binaria, que devuelve falso cuandoA es verdadera y B es falsa,
y devuelve verdadero en cualquier otro caso. En lógica de predicados,
puede ser visto como una relación de subconjunto entre la extensión de
predicados (posiblemente complejos).
El condicional material es una función de verdad que toma dos valores de verdad
(por lo general los valores de proposiciones) y devuelve falso cuando el primer
valor es verdadero y el...