¿Qué representan los símbolos ⊤ y ⊥?

P ∧ ⊤

Dos variables proposicionalesLas constantes verdadero (⊤) y falso (⊥)La conjunción y la disyunciónEl principio y el final de una demostración