CIS 1166 Lecture Notes - Lecture 1: Bitwise Operation, Propositional Calculus

• School: Temple University
• Department: Computer & Information Science
• Course: CIS 1166
• Professor: Anthony Hughes

Document Summary

A proposition is a declarative sentence (that is, a sentence that declares a fact) that is either true of false, but not both. Washington, d. c. is the capital of the united states of america. Propositions 1 and 3 are true, whereas 2 and 4 are false. Sentences 1 and 2 are not propositions because they are not declarative sentences. Sentences 3 and 4 are not propositions because they are neither true nor false (although they can be turned into propositions if we assign values to the variables) Propositional variables (or statement variables) are letters used to denote variables that represent propositions. The conventional letters used for propositional variables are p, (cid:395), (cid:396), s . The truth value of a proposition is true, denoted by t, if it is a true proposition and false, denoted by f, if it is a false proposition. Propositional calculus or propositional logic is the area of logic that deals with propositions.