P if and only if ~~P
What is double negation?
the science and art of reasoning well
What is logic?
an appiel to logic
What is logos?
the ________ goes in the middle of the square
What is contradiction?
A logical operator that is only true when both propositions are true.
What is a conjunction?
P and Q
what is conjungtion?
a truth tree
what is a diagram that shows the set of proposions being decomposed into thier literals?
convinces the audience of credibilety and character
what is ethose?
there are two implications in the square of opposion
What is subimplication and superimplication?
A logical operator that is true when at least one of the propositions is true.
What is a disjunction?
p v q, ~p, therefore q
What is Disjunctive Syllogism?
drawng proper concluesions from other information
what is reasoning?
an emotional appiel
what is pathos?
the relationship between I, and O. both may true but both cannot be faulse
what is subcomtrariety?
This symbol negates a given proposition.
What is a tilde?
p, q, therefore p * q
What is Conjunction?
A valid arguement form which can be used to justify steps in a proof
what is a rule of inference?
[p * (q v r)] = [(p * q) v (p * r)]
[p v (q * r)] = [(p v q) * (p v r)]
what is distrabuetion?
the relationship between A, and E. both may faulse but both cannot be true
What is contrariety?
A logical operator that is true with both propositions at the same time.
What is a biconditional?
p therefore p v q
What is Addition?
The _______ of a term is the sum of all the common attributes denoted by the term
What is intension?
[p v (q v r)] = [(p v q) v r]
[p * (q * r)]= [(p * q) * r]
what is association?
the universal statements
what is A. E. (all s is p, no s is p)
A logical operator that is only false when the antecedent is true and the conclusion is false.
What is a conditional?