3 ms·Although in propositional logic we can say: x ⊢ y which means "x proves y".by acchow 5y agoAlthough in propositional logic we can say: x ⊢ y which means "x proves y".