LOGIC Flashcards

1
Q

Science or study of how to evaluate arguments and reasoning.

A

LOGIC

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

branch of mathematics with close connections to computer science.

A

MATHEMATICAL LOGIC

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

Four divisions of mathematical Logic

A

SET THEORY, MODEL THEORY, RECURSION THEORY, PROOF THEORY

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

Is a declarative sentence which is either true or false but not both.

A

STATEMENT OR PROPOSITION

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

a statement is the truth and falsity of statement.

A

TRUTH VALUE

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

Is a variable which used to represent a statement.

A

PROPOSITIONAL VARIABLE

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

written using propositional logic notation p, q, and r are used to represent statements.

A

FORMAL PROPOSITIONAL

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

used to combine simple simple statements which are referred as compound statements.

A

LOGICAL COONECTIVES

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

is a statement composed of two or more simple statements connected by logical connective: and, or, if then, if and only if and exclusive-or

A

COMPOUND STATEMENTS

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

compound statements that is true called logically true

A

TAUTOLOGY

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

compound statement that is false called logically false or absurdity

A

CONTRADICTION

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

compound statements that can be either true or false are neither a tautology nor contradiction

A

CONTINGENCY

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

systematic study of valid rules of inference the relations that lead to the acceptance of one propositions(conclusion) on the basis of a set of other propositions(pemises)

A

LOGIC

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

is a mathematical table used in logic which sets out the functional values of logical expressions on each of their functional arguments.

A

TRUTH TABLE

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

written A v B is true if at least any of propositional variable A or B is true

A

DISJUNCTION (v)

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

if both of the propositional variable A and B is true. AND operation (^)

A

CONJUNCTION

17
Q

Not. true answer is false and false answer is true.

A

NEGATION

18
Q

if then(), if both of the propositional variable is true the answer is true and if the first truth table is false and second table is true the answer is true

A

IMPLICATION

19
Q

A and B is biconditional which is true when p and q are same. if both of truth table is false the answer is true and if the first is true and the second is false the answer is true.

A

if and only if

20
Q

unordered collection of object or a collection of elements

A

SETS

21
Q

created by a German mathematician born in Russia named Georg Ferdinand Ludwig Philip cantor

A

SET THEORY

22
Q

German mathematician born in Russia who created set theory

A

GEORG FERDINAND LUDWIG PHILIP CANTOR

23
Q

who developed Venn diagram IN THE 1880’S

A

JOHN VENN

24
Q

It is a diagram that shows all possible logical relations between a finite collection of different sets.

A

VENN DIAGRAM