Logics Flashcards
What is a proposition?
It’s a complete frase that states something; aka a claim.
It is the basic unit of propositional logics.
When analysing texts, these propositions can be substituted by single letters or any other symbol, for simplicity.
What are claims joined in a conjunction called?
Conjuncts.
In basic compound claims, what does OR conote?
Disjunction
In basic compound claims, what do IF and THEN conote?
Conditional
In basic compound claims, what does NOT conote?
Contradictory
What is the only case in which a conjunction is true?
When all claims are individually true.
What is syntax?
The way in which elements are ordered to form a complete claim (phrase).
Give examples of a few words that can serve as a conjunctive.
But
Although
However
Yet
What is semantics?
The meaning (or the study of the meaning) of something specially language. Connotative meaning.
What is a conjunction?
A compound claim formed of two or more claims and in which all claims must be true for the conjunction to fulfil the truth condition.
How many basic compound claims are there?
Four
Which properties makes an argument Valid?
If all the premises are true, than the conclusion CANNOT be false;
i.e.
It is LOGICALLY IMPOSSIBLE for the premises to be true and the conclusion false;
i.e.
The truth of the premises GUARANTEES the truth of the conclusion.
What can validity, in logics, be applied to?
Only entire arguments and not single premises or conclusions.
In basic compound claims, what does AND conote?
Conjunction
What is the truth condition for a disjunction?
At least one of the disjunction must be true.
What are the claims in a disjunction called?
Disjuncts.
When are more than one disjuncts true in a disjunction?
In an Inclusive OR (inclusive disjunction)
For example: “A triangle can be defined as a polygon with three sides OR as a polygon with three vertices”
When can only one disjunct be true?
In an exclusive OR (exclusive disjunction)
When is an inclusive disjunction false?
Only when both disjuncts are false.
When is an inclusive disjunction true?
When either one of the disjuncts is true.
What word gives hint of an exclusive disjunction?
Either
In conditional claims, what is the name of the proposition that comes after the IF and before the THEN?
Antecedent
In conditional claims, what is the name of the proposition that comes after the THEN?
Consequent
What is affirming the consequent?
Assuming the antecedent from the consequent.