random definitions
intro to propositional logic
logical operators
arguments
newer stuff
100
define logic
What is the art and science of reasoning well
100
letters are used as symbols to represent propositions
What is a propositional logic?
100
what is a conditional/symbol/meaning and when is it true?
means one component implies the other/horseshoe/if -then/false only if antecedent is true and consequent is false
100
if the premises are true the conclusion must be true.
What is a valid argument?
100
a special rule which allows us to assume the antecedent of a conditonal-then deduce the consequent
What is a conditional proof?
200
a step by step deduction of a conclusion from a set of premises
What is a formal proof?
200
a statement which has a truth value
What is a proposition?
200
what symbol represents negation and what does it mean?
a tilde-denies or contradicts the proposition
200
a listing of possible truth values for a set of propositions
What is a truth table?
200
a special rule which allows us to assume the negation of a proposition,deduce a self contradiction,then conclude the propostion
What is reductio ad absurdum?
300
a valid argument form which can be used to justify steps in a proof
What is a rule of inference?
300
a proposition that has more than one component part
What is a compound proposition?
300
what is a conjunction, when is it true, what is the symbol/meaning?
What is a logical operator that joins 2 propositions and is true if both parts are true,symbol is a dot- means and
300
when propositions can be true at the same time
What is consistency?
300
what is the symbol for the logical operator nor?
a upside down triangle
400
10 forms of equivalent statements
What is a rule of replacement?
400
words such as -and, or-which combine to form compound propositions
What is a logical operator?
400
what is a disjunction, symbol/meaning/ when is it true?
a logical operator that joins two propostions with a "v" -means or- true if one or both parts is true
400
when two statements imply each other
What is equivalence?
400
a diagram which shows a set of propositions being decomposed into their literals
What is a truth tree?
500
name 5 rules of inference
modus ponens,modus tollens,simplification,addition,absorption,conjunction, disjunctive syllogism,hypothetical syllogism,constructive dilemma
500
a lowercase letter that represents any proposition
What is a propositional variable?
500
what is a bicondtional/symbol/meaning /when is it true?
What is if and only if/3 lines/true when both parts have same truth value
500
a valid argument which presents a choice between two condtionals
What is a dilemma?
500
a compound proposition broken down into simple propositions
What is decomposed mean?
M
e
n
u