Vocabulary Flashcards
Propositional Logic
A branch of formal, deductive logic in which the basic
unit of thought is the proposition
Proposition
A statement
Truth Functional
Truth value depends on the truth values of its component parts.
A proposition that has only one component part
Simple proposition
Logical operator
words that combine simple propositions to make compound propositions
Negation
not/it is false that/ tilde
Truth table
Listing of possible truth values
Conjunction
dot/and joins two propositions and is true if and only if both propositions are true.
Disjunction
vee/or joins two propositions false if and only if both are false
Conditional
horseshoe/if/the. asserts that one component implies the the other. False if “True, False”
Biconditional
“3qual”/if and only if.
Logically Equivalent
If two propositions have identical truth values
Tautology
True by logical structure
Self Contradiction
False by logical structure
Valid
All True
Invalid
Premises are true and the conclusion is false
Dilemma
A valid argument which presents a choice between two conditionals.
formal proof of validity
A step by step deduction of a conclusion from a set of premises, each step being justified by an appropriate basic rule.
Rule of Inference
A valid argument form which can be used to justify steps in a proof
