Download - 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