Lógica matemática
-
Upload
carlospluas31 -
Category
Documents
-
view
2.757 -
download
1
Transcript of Lógica matemática
![Page 1: Lógica matemática](https://reader036.fdocumento.com/reader036/viewer/2022082513/55887280d8b42abe6e8b45cc/html5/thumbnails/1.jpg)
Lógica MatemáticaValores Lógicos
![Page 2: Lógica matemática](https://reader036.fdocumento.com/reader036/viewer/2022082513/55887280d8b42abe6e8b45cc/html5/thumbnails/2.jpg)
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.
![Page 3: Lógica matemática](https://reader036.fdocumento.com/reader036/viewer/2022082513/55887280d8b42abe6e8b45cc/html5/thumbnails/3.jpg)
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 ⌐
![Page 4: Lógica matemática](https://reader036.fdocumento.com/reader036/viewer/2022082513/55887280d8b42abe6e8b45cc/html5/thumbnails/4.jpg)
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.
![Page 5: Lógica matemática](https://reader036.fdocumento.com/reader036/viewer/2022082513/55887280d8b42abe6e8b45cc/html5/thumbnails/5.jpg)
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
![Page 6: Lógica matemática](https://reader036.fdocumento.com/reader036/viewer/2022082513/55887280d8b42abe6e8b45cc/html5/thumbnails/6.jpg)
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
![Page 7: Lógica matemática](https://reader036.fdocumento.com/reader036/viewer/2022082513/55887280d8b42abe6e8b45cc/html5/thumbnails/7.jpg)
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.
![Page 8: Lógica matemática](https://reader036.fdocumento.com/reader036/viewer/2022082513/55887280d8b42abe6e8b45cc/html5/thumbnails/8.jpg)
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:
![Page 9: Lógica matemática](https://reader036.fdocumento.com/reader036/viewer/2022082513/55887280d8b42abe6e8b45cc/html5/thumbnails/9.jpg)
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.
![Page 10: Lógica matemática](https://reader036.fdocumento.com/reader036/viewer/2022082513/55887280d8b42abe6e8b45cc/html5/thumbnails/10.jpg)
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