39067008
Beschreibung
Karteikarten von Ronaldo Carlos Hernández, aktualisiert vor 9 Monate
|
Erstellt von Ronaldo Carlos Hernández
vor 9 Monate
|
|
| Frage | Antworten |
| 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 |
Möchten Sie mit GoConqr kostenlos Ihre eigenen Karteikarten erstellen? Mehr erfahren.