M3: Propositional Logic: Symbolic Translation Flashcards

1
Q

study of the symbolic language used in Logic

A

Symbolic Logic

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

translation of propositions, operations, and other concepts into symbolic form to manipulate them easily

A

Symbolic Logic

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

dummy letters indicate propositions with empty value

A

Propositional variables

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

indicate atomic propositions that contain truth-value (has an equivalent proposition)

A

Propositional Constants

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

T or F: Propositional Constants, lowercase Roman Alphabet is used

A

False, capital

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

3 ways in using propositional constants

A
  1. underlining a word or part of a proposition with the first letter indicating what letter to be used in representing the whole proposition.
  2. whole proposition is underlined and a letter is written above.

3.list of letters with corresponding propositions is provided (marked with the word ‘wherein’).

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

4 Main Logical Connectives

A

Conjunction
Disjunction
Conditional
Biconditional

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

2-way horizontal arrow (sometimes = )

A

biconditional

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

Arrow pointing right (sometimes ⊃)

A

conditional

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

Either-Or

A

disjunction

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

Inverted V (sometimes * is used)

A

conjunction

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

the combination of two or more atomic propositions, additional symbols are used which are called

A

Logical Connectives

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

are symbols that aid in the truth-value computation of compound/complex propositions

A

Logical Operations

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

T or F: All four logical connectives are logical operations.

A

TRUE

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

T or F Negation is a logical connective but not a logical operation

A

False, it is a logical operation but is not a logical connective.

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

T or F: Note that not all compound/complex propositions containing conjunction are indeed conjunctions

17
Q

some conjunctions become absurd once ____

A

either the subject or the predicate is distributed to their corresponding predicates and subjects.

18
Q

Two types of disjunctions

A

Inclusive/Weak and Exclusive/Strong

19
Q

Inclusive or Exclusive? Contradictions or contrasts

20
Q

Example of Exclusive disjunction

A

asleep or awake

21
Q

two options can be true at the same time

A

Inclusive/Weak Disjunctions

22
Q

Latin word for and/or

23
Q

Latin Word for exclusive disjunctions

24
Q

Other ways to indicate conjunctions:

A

and, but, yet, also, while, meanwhile, furthermore, however, moreover, in addition, at the same time, on the other hand, although.

25
Other ways to indicate conditionals:
because, in order to, so that, only if, whenever.
26
Conditionals are sometimes referred to as
Implications
27
equivalent to two conditionals with the other one reversed
Biconditionals
28
other names for antecedent
implicans/protasis
29
other names for consequent
implicate/apodosis
30
proper arrangement of symbols
syntax
31
Compound/complex propositions following proper syntax abide by a
Well-Formed Formula
32
WFF or
String of Symbols (simplified as SOS to rightfully indicate a distress call).
33
_________ are used to group together symbols related to each other.
Punctuations