|
|
Criado por Ronaldo Carlos Hernández
quase 3 anos 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.