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)