Universe The universe for Propositional Logic is: Dο={ T,F }\mathcal{D}_{\omicron}=\set{T,F}Dο={T,F}