|
Criado por Ronaldo Carlos Hernández
mais de 1 ano atrás
|
|
Questão | Responda |
Proposición | Oración declarativa que debe ser verdadera o falsa |
Expresión bien formada (EBF) | Sean Alpha y Beta variables proposicionales. Se define recursivamente. Deben tener operadores lógicos y operandos. |
Tautología | EBF que evalúa verdadero para todas sus combinaciones |
Contradicción | EBF que evalúa falso para todas sus combinaciones |
Satisfacible | EBF que evalúa verdadero para al menos una de sus combinaciones |
Literal | Variable proposicional o su complemento |
Quer criar seus próprios Flashcards gratuitos com GoConqr? Saiba mais.