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?
Show answer
Un enunciado declarativo que es verdadero o falso, pero no ambos.- ¿Qué es un valor de verdad?
Show answer
La propiedad de ser verdadero o falso.- Define la conjunción (Y) en lógica.
Show answer
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.
Show answer
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.
Show answer
La operación lógica donde NO p invierte el valor de verdad de p.- ¿Qué es un enunciado condicional?
Show answer
Un enunciado p IMPLICA q, que es falso solo cuando p es verdadero y q es falso.- ¿Qué es un enunciado bicondicional?
Show answer
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?
Show answer
El enunciado q IMPLICA p.- ¿Cuál es la inversa de p IMPLICA q?
Show answer
El enunciado (NO p) IMPLICA (NO q).- ¿Cuál es el contrarrecíproco de p IMPLICA q?
Show answer
El enunciado (NO q) IMPLICA (NO p).- ¿Qué es una tautología?
Show answer
Una proposición que es verdadera bajo toda interpretación o asignación de verdad posible.- ¿Qué es una contradicción?
Show answer
Una proposición que es falsa bajo toda interpretación o asignación de verdad posible.- ¿Qué es una contingencia?
Show answer
Una proposición que es verdadera bajo algunas interpretaciones y falsa bajo otras.- Enuncia la Ley de De Morgan para la conjunción.
Show answer
NO (p Y q) es lógicamente equivalente a (NO p) O (NO q).- Enuncia la Ley de De Morgan para la disyunción.
Show answer
NO (p O q) es lógicamente equivalente a (NO p) Y (NO q).
FlashKeepers