Read on. ## Appendix Sentences $ alpha $ and $ beta $ are logically equivalent when they have the same truth - table