Logics Flashcards

1
Q

What is a proposition?

A

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.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

What are claims joined in a conjunction called?

A

Conjuncts.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

In basic compound claims, what does OR conote?

A

Disjunction

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

In basic compound claims, what do IF and THEN conote?

A

Conditional

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

In basic compound claims, what does NOT conote?

A

Contradictory

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

What is the only case in which a conjunction is true?

A

When all claims are individually true.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

What is syntax?

A

The way in which elements are ordered to form a complete claim (phrase).

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Give examples of a few words that can serve as a conjunctive.

A

But

Although

However

Yet

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

What is semantics?

A
The meaning (or the study of the meaning) of something specially language.
Connotative meaning.
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

What is a conjunction?

A

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 well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

How many basic compound claims are there?

A

Four

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Which properties makes an argument Valid?

A

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.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

What can validity, in logics, be applied to?

A

Only entire arguments and not single premises or conclusions.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

In basic compound claims, what does AND conote?

A

Conjunction

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

What is the truth condition for a disjunction?

A

At least one of the disjunction must be true.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
17
Q

What are the claims in a disjunction called?

A

Disjuncts.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
18
Q

When are more than one disjuncts true in a disjunction?

A

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”

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
19
Q

When can only one disjunct be true?

A

In an exclusive OR (exclusive disjunction)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
20
Q

When is an inclusive disjunction false?

A

Only when both disjuncts are false.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
21
Q

When is an inclusive disjunction true?

A

When either one of the disjuncts is true.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
22
Q

What word gives hint of an exclusive disjunction?

A

Either

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
23
Q

In conditional claims, what is the name of the proposition that comes after the IF and before the THEN?

A

Antecedent

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
24
Q

In conditional claims, what is the name of the proposition that comes after the THEN?

A

Consequent

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
25
Q

What is affirming the consequent?

A

Assuming the antecedent from the consequent.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
26
Q

What is the assertion in a conditional proposition?

A

The relationship between the antecedent and the consequent.

27
Q

What are conditions under which a conditional is false?

A

When the antecedent is true and the consequent is false.

28
Q

What is a simple claim?

A

A claim that has no other claims as a component.

29
Q

What does a contradictory (not-claim) does to a claim.

A

It reverses its truth value.

Makes it false. If A is a claim, not-A is the opposite.

30
Q

What is the difference between a contradictory and a contrary?

A

In the CONTRARY two claims cannot be true at the same time but both can be false at the same time.

In the CONTRADICTORY they cannot be true at the same time and they cannot be false at the same time.

31
Q

What is a Contradiction?

A

It’s a conjunction of the form:

         A and not-A

Example: All swans are wholly white and all swans are wholly brown.

32
Q

When can a contradiction be true?

A

Never

33
Q

In logics, what is consistency?

A

A set of claims is consistent if it is logically possible for all of them to be true at the same time.

34
Q

What does “logically possible” mean?

A

Does not entail a contradiction.

n.b. a contradiction is a set of claims that put together form a falsity in all possible worlds.

35
Q

What can and can’t Logic tell us about inconsistencies?

A

It can tell us that, on a set of claims, at least one is contradictory; but it doesn’t show us which one it is or how to find it conclusively.

36
Q

What are the four basic compound claims?

A

Conjunction (a AND b AND c and etc…)

Disjunction (a OR b OR c OR etc…)

Conditional ( IF a THEN b)

Contradictory (NOT-a)

37
Q

What effect does a negation of a contradictory ( NOT-(NOT-a)) have?

A

It restores the original claim.

38
Q

What does the contradictory of a conjunction produce?

A

A disjunction.

39
Q

How is the contradictory of a conjunction constructed?

A

By changing the AND to an OR and negating each claim with an “Either” in the beginning.

40
Q

In algebraically terms, describe the negation of a conjunction.

A

not-(A and B) = (not-A) or (not-B)

41
Q

What does the negation of a disjunction produce?

A

A conjunction which is negated.

not-(A or B) = (not-A) and (not-B)

42
Q

In English language, what is (not-A and not-B) equivalente to?

A

Neither A nor B

Ps: “nor” is not a disjunction but a CONJUNCTION.

43
Q

What are the two DeMorgan’s Rules?

A

not-(A and B) = (not-A) or (not-B)

not-(A or B) = (not-A) and (not-B)

44
Q

What does the contradictory of a conditional produce?

A

A conjunction

45
Q

What is the general rule for the contradiction of a conditional?

A

not-(if A then B) = (A) and (not-B)

Ps: normally this is phrased as A “but” not-B

46
Q

B if A is equal to…

A

If A then B

47
Q

In (A only if B) which is the antecedent and which is the consequent?

A

The antecedent come before the “only if” so (A) is the antecedent.v

The standard form is:

If A then B

The roles of the IF and THEN are reversed in the non-standard form.

48
Q

What is the general relationship between IF and ONLY IF claims?

A

consequent IF antecedent

antecedent ONLY IF consequent

49
Q

What is a biconditional?

A

When the claim in a conditional always have the same truth value.

50
Q

What is the relationship between a conditional and a buconditional?

A

A conditional is half of a biconditional.

Conditional = If A then B = B if A

Biconditional = B if, and only if A

51
Q

What is the rule for (A unless B)

A

(B) is the antecedent; it is negated. (A) is the consequent.
A unless B = If not-B Then A

Unless = If not

52
Q

What is the general rule for Contaposition?

A

If A then B = If not-B then not-A

53
Q

Explain how are contrapositives created?

A

Put the consequent first and the antecedent last and negate both claims.

54
Q

What are the possible forms a disjunction can take?

A

A or B

A or (not-B)

(not-A) or B

55
Q

How can a conditional be written as a disjunction?

A

If A then B = (not-A) or B

56
Q

Describe the truth table of Conditionals.

A

A THEN B

t T t

t F f

f T t

f T f

57
Q

Describe the truth table of a Disjunction.

A

A OR B

t T t

t T f

f T t

f F f

58
Q

Describe the truth table of a Conjunction.

A

A AND B

t T t

t F f

f F t

f F f

59
Q

What is the general rule for the translation of a conditional into a sentence?

A

If A then B = A is sufficient for B

i.e. not necessary, but sufficient; there are other ways to achieve B.

60
Q

What is the general rule for conditionals in relation to necessity?

A

If A then B = B is necessary for A

i.e. necessity is the inverse of sufficiency for conditionals.

61
Q

State the rules for necessity and sufficiency for conditionals.

A

A is sufficient for B = If A then B

A is necessary for B = If B then A = If not-A then not-B