Propositional Logic 2 Flashcards

Covers more applications of propositional logic in context, including contextual examples of questions, truth tables, syntax trees and the distinction between propositions and formulae

1
Q

describe - in words - the only time that ‘p ⇒ q’ is false

A

when the antecedent is true but the consequence is false

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

‘if’ mid-sentence corresponds to…?

A

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

‘only if’ corresponds to….?

A

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

If the lecturer hadn’t shown up last week, Plato would have
given the lecture.

A

¬S ⇒ P

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

Exactly one of the following happened: David won or
Victoria won or it was a tie.

A

(D ∧ ¬V ∧ ¬T ) ∨ (V ∧ ¬D ∧ ¬T ) ∨ (T ∧ ¬D ∧ ¬V )

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

In the context of the implication p ⇒ q, p is referred to as the…?

A

premise

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

In the context of the implication p ⇒ q, q is referred to as the…?

A

conclusion

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

difference between a proposition and a formula

A

propositions are the declarative statements. formulae use propositional variables to represent propositions and/or their relationships with one another

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

what are the 2 types of formulae…?

A

atomic and compound

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

atomic formulae do not contain any…?

A

propositional connectives

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

what are the 2 components of atomic formulae…?

A

the two truth constants (true and false) and propositional variables

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

another word for equivalence

A

biconditionality

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

compound formulae

A

formulae (compound or atomic) linked by connectives

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

order of precedence of the 5 propositional connectives

A

⌐, ∧, ∨, ⇒, ⇔

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

if an expression contains multiple propositional connectives of the same order of precedence, operations are evaluated from…?

A

right to left

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

in syntax trees, the leaf nodes are…?

A

the propositional variables

17
Q

in syntax trees the parent nodes are…?

A

the propositional connectives

18
Q

the root of the syntax tree

A

the propositional connective that was applied last

19
Q

a set of propositions is consistent when…?

A

it is logically possible for all propositions to be true at the same time

20
Q

consistency vs validity | deals with…?

A

the coexistence of propositions vs the relationship between premises and conclusion in an argument.

21
Q

consistency vs validity | applies to…?

A

a set of propositions or statements vs arguments composed of premises and a conclusion

22
Q

the capital latter ‘P’ wou;d refer to the

A

Propositional statement

23
Q

how to express XOR in propositional logic

A

p ⇔ ¬q (or similarly q ⇔ ¬p)

24
Q

NAND connective symbol

25
Q

NOR connective symbol

26
Q

how to express a NAND relationship in propositional logic

A

¬(p ∧ q)

27
Q

how to express a NOR relationship in propositional logic

A

¬(p ∨ q)

28
Q

synonym for formula

A

well formed formula

29
Q

is P, the propositional variable, also a propositional formula? why/why not?

A

yes - propositional variables are SIMPLE propositional formulae

30
Q

syntax trees make it clear how the expression should be ________.