Zusammenfassung der Ressource
Conceptos de la
lógica proposional
- Proposiciones y
operadores lógicos
- La proposición
- Oración que puede ser
verdadera o falsa, pero
no ambas ejm: La tierra
es redonda
- Clasificación
- Proposición simple
- Una sola oración, se
le asigna una
variable proposional
ejm: q: Hoy es martes
- Proposición
compuesta
- Dos o más proposiciones
simples unidas por
operadores lógicos, ejm:
p y q: Pitágoras era griego y
geómetra
- Operadores lógicos
- Permiten decidir que
valor de la verdad tiene
una proposición
- Negación
- Disyuncion exclusiva
- Disyunción inclusiva
- Doble negación
- Conjunción
- Proposiciones
condicionales
- Condicional
- Algunas formas son: entonces,
por tanto, se refiere. Ejm: u: si
llueve, entonces me mojaré
- Bicondicionales
- Algunas formas son: si y solo si, es
equivalente a, entre otras. Ejm: un
polígono es cuadrilátero si y solo
si tiene cuatro lados
- Tabla de verdad
- Es aquella que muestra el valor
de verdad de una proposición, es
decir, nos dice en que situación
el enunciado es verdadero y en
cuales es falso