39067008
Description
Flashcards by Ronaldo Carlos Hernández, updated more than 1 year ago
|
Created by Ronaldo Carlos Hernández
almost 3 years ago
|
|
| Question | Answer |
| 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 |
Want to create your own Flashcards for free with GoConqr? Learn more.