Propositional Logic Flashcards

1
Q

Define discrete mathematics

A

The part of mathematics devoted to the study of discrete (as opposed to continuous objects)

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

Define propositions

A

Propositions is a declarative sentence that is either true or false

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

Give an example of a proposition

A

“the moon is made out of cheese” (false)
1+0 = 1 (true)
0+0 = 2 (false)

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

What are the atomic proposition variables

A

p, q, r, s …

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

What are the atomic proposition constants

A

T(true), F (false)

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

Show a negative proposition

A

¬p

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

Show a conjunction

A

p ∧ q

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

Show a disjunction

A

p ∨ q

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

Show an implication

A

p → q

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

Show a bioconditional

A

p ↔ q

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

What does this symbol mean ∨

A

or

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

What does this symbol mean ∧

A

and

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

What does this symbol mean ↔

A

either not both / if and only i f

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

What does this symbol mean –>

A

If, then

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

When is a conjunction true

A

For a conjunction to be true both propositions must be true

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

When is a disjunction true

A

For a disjunction to be true either proposition must be true

17
Q

How do you recognise a conjunction symbol

A

thing of construction as its similar to a roof of a house

18
Q

How do you recognise a disjunction symbol

A

a v symbol, think of Destruction

19
Q

When is a conjunction true

A

only when both propositions are true

20
Q

When is a disjunction true

A

it is true if it contains a true proposition

21
Q

When is an exclusive true

A

an exclusive is true when the propositions are different and not the same

22
Q

What does an implication do

A

creates a conditional statement

23
Q

What is the symbol for an implication

A

→ (an arrow pointing right)

24
Q

What does the proposition on the left of the arrow stand for

A

the hypothesis

25
Q

What does the proposition on the right of the arrow stand for

A

conclusion

26
Q

When does the proposition give a true result

A

both when the hypothesis is same as conclusion, but if hypothesis is false the p->q is always true

27
Q

State what is a tautology

A

A proposition that is always true

28
Q

State what is a contradiction

A

A proposition that is always false

29
Q

State what is a contingency

A

A proposition that is neither a tautology nor a contradiction