Что обозначают символы ⊤ и ⊥?

P ∧ ⊤

Две пропозициональные переменныеКонстанты истина (⊤) и ложь (⊥)Конъюнкцию и дизъюнкциюНачало и конец доказательства