1.1 Propositions and logical operations - Texas A&M University