1. Fundamentals of Logic
Sentence: A sentence is usually collection of words
Proposition: A proposition is usually a declarative to which it is meaningful to assign one and only one of the truth values i.e. either “true” or “false” but now both.
Proposition/ statement / premise
Note: all propositions are sentences but all sentences need not be proposition.
Examples – Propositions
Sachin is a player. True
2+2= false
It is raining false
DMS is the subject of CSE true

2. Examples – Non propositions:
It is good
He is the tallest person in this class
2+x=10
What a beautiful morning!
Get up and do your exercises
The number x is an integer.
Are you busy?

4. Negation:
If p is a proposition, then "p is not true" is a proposition, which we represent as ~p or 7p, and refer to it as "not p”, "the negation of p", or "the denial of p".
Not p is a proposition that is true when p is false and false when p is true
Example:
P: sachin is batsman.
~P: sachin is not batsman
Q: sachin is not a tennis player
~Q: sachin is a tennis player

5. Conjunction:
If p and q are propositions, then "p and q" is a proposition, which we represent in symbols as p ^ q and refer to it as the conjunction of p and q.
The conjunction of p and q is true only when both p and q are true.
Example:
P: sachin is a batsman.
Q: sachin is a bowler
P ^ Q: sachin is batsman and bowler
~P ^ Q: sachin is not a batsman and he is a bowler
P ^ ~Q: sachin is a batsman and he is not a bowler
~P ^ ~Q: neither sachin is a batsman nor bowler
(or) sachin is not batsman and not a bowler

6. Disjunction:
If p and q are propositions, then "p or q" is a proposition, which we represent in symbols as p V q and refer to it as the disjunction of p and q.
Inclusive OR: either p is true or q is true or both
Exclusive OR: either p is true or q is true but not both
Example:
P: sachin is a foot ball player.
Q: sachin is a cricketer.
P VQ: sachin is foot ball player or cricketer.
~PVQ: sachin is not a foot ball player or cricketer.
PV~Q: sachin is foot ball player or he is not a cricketer
~PV~Q: sachin is not a foot ball player or not a cricketer

7. Conditional:
The proposition "p implies q" or "if p then q" is represented as p→q and is called an implication or a conditional.
P is called the premise, hypothesis, or antecedent of the implication, and q is called the conclusion or consequent of the implication.
p →q is false only when the antecedent p is true and the consequent q is false.
Example:
P: 2 sides of a triangle are equal
Q: triangle is isosceles
p →q: if 2 sides of a triangle are equal then it is isosceles
q→p: if triangle is isosceles then 2 sides of a triangle are equal
~p→q: if 2 sides of a ∆ are not equal then it is isosceles.
p →~q: if 2 sides of a ∆ are equal then it is not isosceles.

8. Bi-Conditional:
The proposition "p double implies q" or "p if and only if q" or “p iff q “ is represented as p ↔q and is called a bi-conditional.
P is called the premise, hypothesis, or antecedent of the implication, and q is called the conclusion or consequent of the implication.
p ↔q is true when both the statements are false / true
p ↔q is false when any one of them is true
Example:
P: 2 sides of a triangle are equal
Q: triangle is isosceles
p ↔q: 2 sides of a ∆ are equal iff it is isosceles.
q ↔p: Triangle is isosceles if and only if 2 sides of ∆ are equal
~p ↔q: 2 sides of triangle are not equal if and only if it is isosceles

9. If Conditional statement is P →Q then
its Inverse or Opposite is ~P→~Q
its Converse is Q→P
its Contra positive is ~Q→~P
Law of conditional / implication: P →Q = ~PVQ
Law of contra positive : P →Q = ~Q→~P

10. Problems:
Construct the truth tables for the following
[(pVq)^(~r)] ↔q
(pVq)^( (~p)v(~r) )
{(p^q)V(~p^r)} v (q^r)
[ (pVq) ^ (~r) ] ↔ (q→r)
Prove the following are tautologies
~(PVQ) V [ (~P) ^ Q ] V P
[ (P →Q) ^ (R →S) ^ (PVR) ] → (QVS)
[ (P →R) ^ (Q →R)] → [(PVQ) →R]

11. Consider the following propositions
P: David is playing pool
Q: David is inside
R: David is doing his homework
S: David is listening to music
Translate following sentences into symbolic notations
Either David is playing pool or he is inside
Neither is David playing pool, nor is he doing his homework
David is playing pool and not doing his homework
David is inside doing his homework, not playing pool
David is inside doing his homework while listening to music, and he is not playing pool
David is not listening to music, nor is he playing pool, neither is he doing his homework.

12. Translate the following into acceptable English
(~P) ^ (~Q)
P V(Q^R)
~( (~P) ^R)
[(~P)VQ] ^ [~R V S]
[(~P) ^ Q] V [(~R) ^S]
Restate the following implications into its equivalent ~pvq
If he fails to follow orders, he will lose his commission.
If the work is not finished on time then I am in trouble.
If triangle is isosceles , then base angles are equal
If K mart does not refund money, I will not shop there anymore.
If lines AB & CD are parallel, then the alternate interior angles are equal.

13. 6. Find the truth values for the following
P= T, Q= F and R=F then find [ (P^~Q)→R] → [P →(QVR)]
P=T, Q=T and (P^Q) → (RVS)= F then find R=?, S=?

14. Tautology:
A tautology is a propositional function whose truth value is true for all possible values of the propositional variables.
Example: PV~P
Contradiction:
A contradiction or absurdity is a propositional function whose truth value is false for all possible values of the propositional variables.
Example: P ^ ~P
Contingency:
A propositional function that is neither tautology nor contradiction is called contingency
Example: PVQ, P →Q