Lógica proposicional y de predicados y las técnicas de demostración fundamentales de un curso introductorio de matemática discreta.
41 cards · basic cards · AI-written, checked twice. Edit anything.
- ¿Qué es una proposición?
- Un enunciado declarativo que es verdadero o falso, pero no ambos.
- ¿Qué es un valor de verdad?
- La propiedad de ser verdadero o falso.
- Define la conjunción (Y) en lógica.
- La operación lógica donde p Y q es verdadera solo cuando tanto p como q son verdaderas.
- Define la disyunción (O) en lógica.
- La operación lógica donde p O q es verdadera cuando al menos una de p o q es verdadera.
- Define la negación (NO) en lógica.
- La operación lógica donde NO p invierte el valor de verdad de p.
- ¿Qué es un enunciado condicional?
- Un enunciado p IMPLICA q, que es falso solo cuando p es verdadero y q es falso.
- ¿Qué es un enunciado bicondicional?
- Un enunciado p si y solo si q (p SI Y SOLO SI q), verdadero cuando p y q tienen el mismo valor de verdad.
- ¿Cuál es el recíproco de p IMPLICA q?
- El enunciado q IMPLICA p.
- ¿Cuál es la inversa de p IMPLICA q?
- El enunciado (NO p) IMPLICA (NO q).
- ¿Cuál es el contrarrecíproco de p IMPLICA q?
- El enunciado (NO q) IMPLICA (NO p).
- ¿Qué es una tautología?
- Una proposición que es verdadera bajo toda interpretación o asignación de verdad posible.
- ¿Qué es una contradicción?
- Una proposición que es falsa bajo toda interpretación o asignación de verdad posible.
- ¿Qué es una contingencia?
- Una proposición que es verdadera bajo algunas interpretaciones y falsa bajo otras.
- Enuncia la Ley de De Morgan para la conjunción.
- NO (p Y q) es lógicamente equivalente a (NO p) O (NO q).
- Enuncia la Ley de De Morgan para la disyunción.
- NO (p O q) es lógicamente equivalente a (NO p) Y (NO q).
FlashKeepers