lógica matematica
TRANSCRIPT
![Page 1: lógica matematica](https://reader035.vdocuments.net/reader035/viewer/2022062313/55939b8c1a28abed618b4575/html5/thumbnails/1.jpg)
Gina Moran
![Page 2: lógica matematica](https://reader035.vdocuments.net/reader035/viewer/2022062313/55939b8c1a28abed618b4575/html5/thumbnails/2.jpg)
Lógica
La Lógica matemáticas es la
disciplina que trata de métodos
de razonamiento. En un nivel
elemental, la Lógica proporciona
reglas y técnicas para determinar si
es o no valido un argumento dado.
![Page 3: lógica matematica](https://reader035.vdocuments.net/reader035/viewer/2022062313/55939b8c1a28abed618b4575/html5/thumbnails/3.jpg)
Una proposición es una oración que
puede ser falsa o verdadera
Pero no ambas a la vez .
La proposición es un elemento
fundamental para la lógica matemática.
![Page 4: lógica matematica](https://reader035.vdocuments.net/reader035/viewer/2022062313/55939b8c1a28abed618b4575/html5/thumbnails/4.jpg)
CLASES DE
PROPOSICIONES
SIMPLES COMPUESTAS
CARECEN DE
CONECTIVOS
LOGICOS
POSEE
CONECTORES
LOGICOS
'y','o,'si...entonces', 'si y
solo si') o del verbo de
negacion 'no'
CONECTORES
![Page 5: lógica matematica](https://reader035.vdocuments.net/reader035/viewer/2022062313/55939b8c1a28abed618b4575/html5/thumbnails/5.jpg)
PROPOSICION SIMPLE
El gato es azul.
-Hoy es viernes
-El verano es caluroso
-Mi nombre es Marcos
-La música clásica es bella.
-Carla es mi amiga
es una oración bimembre (es decir
tiene sujeto y predicado.
![Page 6: lógica matematica](https://reader035.vdocuments.net/reader035/viewer/2022062313/55939b8c1a28abed618b4575/html5/thumbnails/6.jpg)
PROPOSICIONES COMPUESTAS
Ejemplo.
-45 > 3 sí y sólo sí 12 + 6 = 18
-Si 12 + 6 = 18, entonces 25 + 3 = 23
45 > 3 y 12 + 6 = 18
45 > 3 sí y sólo sí 12 + 6 = 18
-Maicol come mucho y la llama es peruana
entonces la llama vive con Maicol.
-El coche enciende cuando tiene gasolina en el
tanque y tiene corriente la batería
-La manzana es una fruta y es saludable,
El gato es un animal y respira
ES la unión de dos o mas
proposiciones simples unidas por conectivos lógicos.
![Page 7: lógica matematica](https://reader035.vdocuments.net/reader035/viewer/2022062313/55939b8c1a28abed618b4575/html5/thumbnails/7.jpg)
Una conjunción lógica (comúnmente simbolizada
como Y en lógica y matemáticas, un operador
lógico que resulta en verdadero si los dos
operadores son verdaderos.
CONJUNCION
![Page 8: lógica matematica](https://reader035.vdocuments.net/reader035/viewer/2022062313/55939b8c1a28abed618b4575/html5/thumbnails/8.jpg)
Ejemplo de conjunción
a b A b
v V f
v f v
f v v
f f v
![Page 9: lógica matematica](https://reader035.vdocuments.net/reader035/viewer/2022062313/55939b8c1a28abed618b4575/html5/thumbnails/9.jpg)
Disyunción
Solo es falso cuando dos valores
verdaderos son falsos.
![Page 10: lógica matematica](https://reader035.vdocuments.net/reader035/viewer/2022062313/55939b8c1a28abed618b4575/html5/thumbnails/10.jpg)
![Page 11: lógica matematica](https://reader035.vdocuments.net/reader035/viewer/2022062313/55939b8c1a28abed618b4575/html5/thumbnails/11.jpg)
![Page 12: lógica matematica](https://reader035.vdocuments.net/reader035/viewer/2022062313/55939b8c1a28abed618b4575/html5/thumbnails/12.jpg)
![Page 13: lógica matematica](https://reader035.vdocuments.net/reader035/viewer/2022062313/55939b8c1a28abed618b4575/html5/thumbnails/13.jpg)