M2: Prop logic and Logical Equivalence Flashcards
__ is useful for evaluating whether an argument is deductively valid as opposed to inductively valid, which is the way that people typically reason in everyday life
Propositional Logic
Three kinds of symbols in formalizing propositional logic:
Sentence letters (ex: P, Q, R, a, b, c)
Operators/Connectives (~^v, ->, <–>)
Parenthesis
___ is used for organization purposes, similar to parentheses in algebra and arithmetic.
Parentheses
___ is one that cannot be separated into further sentences.
Atomical Sentence
IMPORTANT NOTE:
1. The standard procedure is to define ___with the sentences they stand for.
letters
IMPORTANT NOTE:
2. When symbolizing, one should try to break each natural language sentence into an ___
atomical sentence
My sister and I like coffee” could be defined:
m = My sister and I like coffee.
But also:
n = My sister likes coffee.
o = I like coffee.
IMPORTANT NOTES
We have an operation to express “negation”. So a negative sentence will be better expressed as a ____, and later we can add the correct symbol
Positive sentence
____it is a formula which is always true for every value of its propositional variables
Tautology
A ___ in the English language is an expression or phrase that says the same thing twice, just in a different way.
tautology
A statement, or set of statements is logically consistent when it involves no ____.
logical contradiction
_____is a formula which is always false for every value of its propositional variables
Contradiction
_____is a formula which is always false for every value of its propositional variables
Contradiction
It is a formula which has both some true and some false values for every value of its propositional variables.
Contingency
It is a formula which has both some true and some false values for every value of its propositional variables.
Contingency
A formula is valid if it is____.
true for all values of its terms
___ refers to the existence of a combination of values to make the expression true.
satisfiability
A propositional logic is said to be satisfiable if its either a ___
tautology or contingency
Hence if a logic is a ___ then it is said to be unsatisfiable.
contradiction
Steps in knowing validity using truth table
- Assign a letter to represent each component statement in the argument
- Express each remises and conclusion symbolically
- Form the symbolic statement of the entire argument by writing the conj of all premises as the antecedent of the conditional statement and the conclusion as the consequence
- Complete the truth table for the conditional statement formed in step 3. If a tautology, then the arg is valid, otherwise, it is invalid
VALID ARG FORMS
___ is also called “affirming the antecedent”
Modus Ponens
VALID ARG FORMS
___ is also called “affirming the antecedent” because one of its premises affirms that the antecedent of the conditional is true
Modus Ponens
WHAT ARG FORM?
If p is a sufficient condition of q, and p is true, then q must be true
P->Q_If there is no God, then life is meaningless.
P_____There is no god
——–
q_____Therefore, life is meaningless
Modus ponens
VALID ARG FORM
___ also means “denying the consequent” because one of its premises denies that the consequent of the conditional is true
Modus Tollens
WHAT ARG FORM
If q is a necessary condition of p, and q is false, then p must be false
p->q_If I’m a mom, then I’m a woman
~q___I’m not a woman
————
~p___Therefore, I’m not a mom.
Modus Tollens