0:00
PrincipianteLógica ProposicionalEvaluación de Expresión
Evalúa la siguiente expresión: P ∨ Q cuando P = falso y Q = verdadero
P ∨ Q where P = ⊥, Q = ⊤Evalúa la siguiente expresión: P ∨ Q cuando P = falso y Q = verdadero
P ∨ Q where P = ⊥, Q = ⊤