
Logic: can be defined as the are of reasoning. A statement which is either true or false but not both. We shall assume that a large class of statements and to each one w can attach a name. We use the letters a, b, c, ... p, q, r, s, ... to denote propositions e call them propositional...