Este documento describe los diferentes tipos de proposiciones compuestas en lógica matemática, incluyendo conjunción, disyunción débil y fuerte, condicional y bicondicional. Explica que la conjunción es verdadera cuando ambas proposiciones lo son, mientras que la disyunción débil es falsa sólo cuando ambas proposiciones son falsas. El condicional es falso sólo cuando la primera proposición es verdadera y la segunda es falsa. El bicondicional es verdadero cuando las proposiciones tienen el

1. Lógica Matemática
Valores Lógicos

2. Proposición Compuestas o
Moleculares
Una proposición compuesta es una frase que consta de uno o
varios sujetos y de un predicado que afirma algo en torno a dichos
sujetos. Los sujetos de una proposición simple deben ser todos
términos singulares.

3. Tipos de Proposiciones
Compuestas
Denominación
Significado
Símbolo
Conducción
Y
Λ
Disyunción Débil
O
V
Disyunción Fuerte
Condicional
Bicondicional
Negación
O
O
Δ
Si………Entonces
Si solo si…….entonces
No
⌐

4. Conjunción
• 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.

5. Disyunción Débil
• Esta fórmula es falsa únicamente cuando p y q son falsas. En
todos los demás casos (cuando p y q son verdaderas,
cuando p es verdadera y q falsa y cuando p es falsa y q
verdadera), la fórmula es verdadera.
p
q
p / q
V
V
V
V
F
V
F
V
V
F
F
F

6. Disyunción Fuerte
• Esta fórmula es verdadera cuando p y q tienen distintos valores de
verdad. Cuando p y q tienen los mismos valores derivativos, es
falsa.
p
q
p / q
V
V
F
V
F
V
F
V
V
F
F
F

7. Condicional
• 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.

8. Bicondicional
El bicondicional o coimplicador p q, que se lee "p si y sólo si q" o "p
es equivalente a q",
se define por la siguiente tabla de verdad:
p
q
pq
V
V
V
V
F
F
F
V
F
F
F
V

9. Negación
La negación es un operador que se ejecuta. sobre un único valor
de verdad, devolviendo el valor contradictorio de la proposición
considerada.

10. Bibliografía
• http://symploke.trujaman.org/index.php?title=Disyunci%F3n
• http://matematicasparacomputadora.weebly.com/312proposiciones-compuestas-disyuncioacuten-conjuncioacutennegacioacuten-condicional-bicondicional.html
• http://recursos.educarex.es/escuela2.0/Humanidades/Etica_Filosofi
a_Ciudadania/Aprende_logica/logica/02lenglogica/060bicondef.htm
l
• http://matematicasparacomputadora.weebly.com/312proposiciones-compuestas-disyuncioacuten-conjuncioacutennegacioacuten-condicional-bicondicional.html