Scribd
Upload
112 views

Logic

Logic is the study of valid reasoning and principles of consistency involving propositions that can be true or false. A proposition is a simple declarative sentence. Truth tables are used to determine the truth values of propositions connected by logical operators like AND, OR, implication, equivalence. Negation ¬p flips the truth value of a proposition p from true to false and vice versa.

Uploaded by

thephantom096
Copyright
© Attribution Non-Commercial (BY-NC)
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
112 views

Logic

Logic is the study of valid reasoning and principles of consistency involving propositions that can be true or false. A proposition is a simple declarative sentence. Truth tables are used to determine the truth values of propositions connected by logical operators like AND, OR, implication, equivalence. Negation ¬p flips the truth value of a proposition p from true to false and vice versa.

Uploaded by

thephantom096
Copyright
© Attribution Non-Commercial (BY-NC)
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
You are on page 1/ 1

Logic - Logic is the study of the principles of valid reasoning and inference, as well as of consistency, soundness,

and completeness.

Proposition simple declarative sentence that can be either true or false but not both.
Truth Table: (AND operator &&) Should be true when both P and Q are true, and false otherwise:

(OR operator | |)

Is true if either P is true or Q is true (or both). It's only false if both P and Q are false.

(Only If) Here's the table for logical implication:

(If and Only If) Means that P and Q are equivalent. So the double implication is true if P and Q are both true or if P and Q are both false; otherwise, the double implication is false.

(Negation) p means not p

p T F

p F T

You might also like