Transcript
![Page 1: Matemáticas Computacionales Lógica Simbólica. Proposición Lógica o simplemente Proposición: Enunciado que puede ser verdadero o falso, pero no ambos](https://reader036.vdocuments.mx/reader036/viewer/2022062305/5665b4ab1a28abb57c930f0d/html5/thumbnails/1.jpg)
Matemáticas Computacionales
Lógica Simbólica
![Page 2: Matemáticas Computacionales Lógica Simbólica. Proposición Lógica o simplemente Proposición: Enunciado que puede ser verdadero o falso, pero no ambos](https://reader036.vdocuments.mx/reader036/viewer/2022062305/5665b4ab1a28abb57c930f0d/html5/thumbnails/2.jpg)
Proposición Lógica
o simplemente
Proposición:
Enunciado que puede ser verdadero o falso, pero no ambos.
![Page 3: Matemáticas Computacionales Lógica Simbólica. Proposición Lógica o simplemente Proposición: Enunciado que puede ser verdadero o falso, pero no ambos](https://reader036.vdocuments.mx/reader036/viewer/2022062305/5665b4ab1a28abb57c930f0d/html5/thumbnails/3.jpg)
Los conectivos lógicos se utilizan para combinar proposiciones y obtener nuevas proposiciones.
Proposiciones
Simples o Atómicas
Compuestas
![Page 4: Matemáticas Computacionales Lógica Simbólica. Proposición Lógica o simplemente Proposición: Enunciado que puede ser verdadero o falso, pero no ambos](https://reader036.vdocuments.mx/reader036/viewer/2022062305/5665b4ab1a28abb57c930f0d/html5/thumbnails/4.jpg)
Negación
0 1
1 0
P P~
![Page 5: Matemáticas Computacionales Lógica Simbólica. Proposición Lógica o simplemente Proposición: Enunciado que puede ser verdadero o falso, pero no ambos](https://reader036.vdocuments.mx/reader036/viewer/2022062305/5665b4ab1a28abb57c930f0d/html5/thumbnails/5.jpg)
Conjunción
0 0 0
0 1 0
1 0 0
1 1 1
Q QP P
![Page 6: Matemáticas Computacionales Lógica Simbólica. Proposición Lógica o simplemente Proposición: Enunciado que puede ser verdadero o falso, pero no ambos](https://reader036.vdocuments.mx/reader036/viewer/2022062305/5665b4ab1a28abb57c930f0d/html5/thumbnails/6.jpg)
Disyunción
0 0 0
0 1 1
1 0 1
1 1 1
Q QP P
![Page 7: Matemáticas Computacionales Lógica Simbólica. Proposición Lógica o simplemente Proposición: Enunciado que puede ser verdadero o falso, pero no ambos](https://reader036.vdocuments.mx/reader036/viewer/2022062305/5665b4ab1a28abb57c930f0d/html5/thumbnails/7.jpg)
Condicional
0 0 1
0 1 1
1 0 0
1 1 1
Q QPP
![Page 8: Matemáticas Computacionales Lógica Simbólica. Proposición Lógica o simplemente Proposición: Enunciado que puede ser verdadero o falso, pero no ambos](https://reader036.vdocuments.mx/reader036/viewer/2022062305/5665b4ab1a28abb57c930f0d/html5/thumbnails/8.jpg)
Si P entonces Q
P implica Q
P es suficiente para Q
P sólo si Q
Q si P
Q siempre que P
Q es necesario para P
QP
Condicional o ImplicaciónSe lee:
![Page 9: Matemáticas Computacionales Lógica Simbólica. Proposición Lógica o simplemente Proposición: Enunciado que puede ser verdadero o falso, pero no ambos](https://reader036.vdocuments.mx/reader036/viewer/2022062305/5665b4ab1a28abb57c930f0d/html5/thumbnails/9.jpg)
Bicondicional
0 0 1
0 1 F
1 0 F
1 1 1
Q QPP
![Page 10: Matemáticas Computacionales Lógica Simbólica. Proposición Lógica o simplemente Proposición: Enunciado que puede ser verdadero o falso, pero no ambos](https://reader036.vdocuments.mx/reader036/viewer/2022062305/5665b4ab1a28abb57c930f0d/html5/thumbnails/10.jpg)
P si y sólo si QP es necesario y suficiente para Q
QP
Bicondicional o Doble Implicación
Se lee:
Definición: P Q ≡ P Q Q P