The Game of Logic (Essay Sample)

The game of Logic
Name
Institution of Affiliation
Difference between propositional logic and First order logic
Proportional logic is a sentence or a description which is either true or false; it uses objects. While, the first order logic is a formal system that uses quantifiers instead of non-logical objects. Propositional logics deals mostly with simple declarative propositions only while first order logics deals with declarative propositions as well as quantification and predicates.
Definition of terms
Proposition is a sentence that expresses a judgment; Attribute is the characteristic or feature who’s description is can be done. Term in logics is defined as the predicate or subject of a categorical proposition or sentence. Subject is defined as that forming the basic matter of thought, investigation or discussion. Predicate is defined in logics as generic term for used in symbolic formal systems. Particular is used in logics to refer to the specific group or individual within a class. Finally, universal in logics refers to that proposition in which something is asserted of all of a class.
My propositions
* Proposition: Every student has a purpose for learning
Let S be the set of students, let L be the set of purpose
Let the predicate Q(s,l) be "Student S has a purpose L.”
Conclusion: The statement could mean there is a single purpose that each student shares or it could mean that each students has a particular personal purpose for learning. These statements are represented as either  l L s S. Q(s,l) or  s S l L. Q(s,l) respectively.
* Proposition: John is sick, and John is sick or annoyed
The above sentence will be true if and only if the part, "John is sick”, is true.
The statement can be represented as P ⋀ (P ⋁ Q) ≡ P
Or
Proposition: John is happy, or John is happy and healthy
The sentence will only be true if and only if the part, "John is happy”, is true.
The statement is represented as P ⋁ (P ⋁ Q) ≡ P
Use of Proposition logic in design and development
`Propositional logic can be applied in the process of developing various components for example computer components. Proposition logic can be used...