lógica matemática

Lógica MatemáticaValores Lógicos

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.

Tipos de Proposiciones Compuestas

Denominación Significado Símbolo

Conducción Y Λ

Disyunción Débil O V

Disyunción Fuerte O O Δ

Condicional Si………Entonces

Bicondicional Si solo si…….entonces

Negación No ⌐

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.

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

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 \/ qV V FV F VF V VF F F

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.

Bicondicional

p q pq

V V V

V F F

F V F

F F V

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:

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.

Bibliografía • http://symploke.trujaman.org/index.php?title=Disyunci%F3n• http://

matematicasparacomputadora.weebly.com/312-proposiciones-compuestas-disyuncioacuten-conjuncioacuten-negacioacuten-condicional-bicondicional.html

• http://recursos.educarex.es/escuela2.0/Humanidades/Etica_Filosofia_Ciudadania/Aprende_logica/logica/02lenglogica/060bicondef.html

• http://matematicasparacomputadora.weebly.com/312-proposiciones-compuestas-disyuncioacuten-conjuncioacuten-negacioacuten-condicional-bicondicional.html