LOGIC Flashcards
Science or study of how to evaluate arguments and reasoning.
LOGIC
branch of mathematics with close connections to computer science.
MATHEMATICAL LOGIC
Four divisions of mathematical Logic
SET THEORY, MODEL THEORY, RECURSION THEORY, PROOF THEORY
Is a declarative sentence which is either true or false but not both.
STATEMENT OR PROPOSITION
a statement is the truth and falsity of statement.
TRUTH VALUE
Is a variable which used to represent a statement.
PROPOSITIONAL VARIABLE
written using propositional logic notation p, q, and r are used to represent statements.
FORMAL PROPOSITIONAL
used to combine simple simple statements which are referred as compound statements.
LOGICAL COONECTIVES
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
COMPOUND STATEMENTS
compound statements that is true called logically true
TAUTOLOGY
compound statement that is false called logically false or absurdity
CONTRADICTION
compound statements that can be either true or false are neither a tautology nor contradiction
CONTINGENCY
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)
LOGIC
is a mathematical table used in logic which sets out the functional values of logical expressions on each of their functional arguments.
TRUTH TABLE
written A v B is true if at least any of propositional variable A or B is true
DISJUNCTION (v)
if both of the propositional variable A and B is true. AND operation (^)
CONJUNCTION
Not. true answer is false and false answer is true.
NEGATION
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
IMPLICATION
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.
if and only if
unordered collection of object or a collection of elements
SETS
created by a German mathematician born in Russia named Georg Ferdinand Ludwig Philip cantor
SET THEORY
German mathematician born in Russia who created set theory
GEORG FERDINAND LUDWIG PHILIP CANTOR
who developed Venn diagram IN THE 1880’S
JOHN VENN
It is a diagram that shows all possible logical relations between a finite collection of different sets.
VENN DIAGRAM
