39067008
Descripción
Fichas por Ronaldo Carlos Hernández, actualizado hace más de 1 año
|
Creado por Ronaldo Carlos Hernández
hace casi 3 años
|
|
| Pregunta | Respuesta |
| 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 |
¿Quieres crear tus propias Fichas gratiscon GoConqr? Más información.