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

A

True

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

A

Exclusive

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

A

ver

23
Q

Latin Word for exclusive disjunctions

A

aut

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
Q

Other ways to indicate conditionals:

A

because, in order to, so that, only if, whenever.

26
Q

Conditionals are sometimes referred to as

A

Implications

27
Q

equivalent to two conditionals with the other one reversed

A

Biconditionals

28
Q

other names for antecedent

A

implicans/protasis

29
Q

other names for consequent

A

implicate/apodosis

30
Q

proper arrangement of symbols

A

syntax

31
Q

Compound/complex propositions following proper syntax abide by a

A

Well-Formed Formula

32
Q

WFF or

A

String of Symbols (simplified as SOS to rightfully indicate a distress call).

33
Q

_________ are used to group together symbols related to each other.

A

Punctuations