Propositional - basics Flashcards

1
Q

A declarative sentence(that is a sentence that declares a fact) that is either true / false is called a proposition

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

^ -> AND - as ^ looks like A it is AND

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

Demorgan Laws

A

~(A^B) = ~A V ~B
~(AVB) = ~A ^ ~B

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

Implication law
p->q

A

~p V q
p ^ ~q

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

contrapositive

A

p -> q
~q -> ~p

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

converse

A

p-> q
q -> p

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

inverse

A

p -> q
~p -> ~q

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

conjunction - AND
disjunction - OR

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

<-> , 3 equals are are same.

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

AND,
OR ,
NOT,
-> (implies),
<->

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

Implication ( IF and THEN)

A

A -> B. = Result
T. T. = T
T. F. = F
F. T. = T
F. F. = T

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

Double implication/ bidirectional/logical equivalent
p->q AND q->p
True if both are same ELSE False

A

A <-> B. = RESULT
T. T. = T
T. F. = F
F. T. = F
F. F. = T

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

(p->q ) is not equal to (q->p)

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

Statement

A

Which produces / gives TRUE/FALSE

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

In implied statements
-> or => =, first first part is called hypothesis (antecedent) and 2nd part is called conclusion or consequent

A

antecedent
consequent

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

Tautology

A

statement which is always true

17
Q

contradiction

A

statement which is always false