https://profilbaru.com/en/Classical_propositional_logic