Scribd
Upload
3 views1 page

Logic Propositions and Operations Guide

The document defines logical connectives including conjunction, disjunction, and negation. It provides examples of how propositions p and q can be combined using these connectives. It also defines conditional, inverse, converse, and contrapositive statements and introduces truth tables to represent the logical relationships between propositions.

Uploaded by

Lemuel Kim
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
3 views1 page

Logic Propositions and Operations Guide

The document defines logical connectives including conjunction, disjunction, and negation. It provides examples of how propositions p and q can be combined using these connectives. It also defines conditional, inverse, converse, and contrapositive statements and introduces truth tables to represent the logical relationships between propositions.

Uploaded by

Lemuel Kim
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd

p,q,r,s are called propositions. CONJUCTION denoted by (read as p and q) and, but, yet EX: p: Today is Monday. q: It is raining.

g. Today is Monday AND it is raining.

p q

DISJUNCTION denoted by ( read as p or q ) or, either, neither, both EX: p: Today is Monday. q: it is raining. Today is Monday OR it is raining.

p q

NEGATION - denoted by (read as not p) ~p EX: p: Today is Monday. q: it is raining. ~p: Today is NOT Monday. ~q: It is NOT raining. Today is NOT Monday AND it is NOT raining. ~ p ~ q

Statements Conditional Statement Inverse Statement Converse Statement Contrapositive Statement Biconditional Statement Truth Table p q r s T T T T T F T F F T F T F F F F

Key Words if, then if not p, then not q if q, then p if not q, then not p if only if

p q ~ p ~ q qp ~ q ~ p

Symbols

~p F F T T

~q F T F T

~r F F T T

~s F T F T

You might also like