Lesson 2 & 2.1 Flashcards
A part of logic which deals with statements that are either true or false (but not both)
Propositional Logic
A declarative sentence that can be True (1) or False (0)
Statement
These are Questions, Imperatives
Not a Statement
The combination of two or more simple statements is a _________ _________, or compound proposition.
Compound Statements
the study of the principles and methods used in distinguishing valid arguments from those that are invalid. It is the basis of all mathematical reasoning and of all automated reasoning.
Logic
A declarative sentence (that is, a sentence that declares a fact) that is either true or false.
Proposition
The basic building block in logic is the statement, also referred to as a proposition.
A statement is a declarative sentence
which can only be either true or false.
Simple Statements
Using the variables p and q to represent statements, and letting T and F stand for true and false respectively yields table 1
Truth Tables
The negation of a true statement is a false statement and the negation of a false statement is a true statement
Negating Statements
If p and q are two simple statements, then the compound statement p and q is symbolized by p ^ q
Conjunction / and statement
Statements which combine two or more simple statements using connectives
Compound Statement
It is a compound statement formed using the inclusive or represented by the symbol v
Disjunction / or statement
The compound statement “If p, then q is symbolized by p → q
Conditional / If-Then statement
Statements that are true if the statement is still true when the antecedent and consequent are reversed - ⇔
Biconditional / If and only if statement