Propositional - basics Flashcards
A declarative sentence(that is a sentence that declares a fact) that is either true / false is called a proposition
^ -> AND - as ^ looks like A it is AND
Demorgan Laws
~(A^B) = ~A V ~B
~(AVB) = ~A ^ ~B
Implication law
p->q
~p V q
p ^ ~q
contrapositive
p -> q
~q -> ~p
converse
p-> q
q -> p
inverse
p -> q
~p -> ~q
conjunction - AND
disjunction - OR
<-> , 3 equals are are same.
AND,
OR ,
NOT,
-> (implies),
<->
Implication ( IF and THEN)
A -> B. = Result
T. T. = T
T. F. = F
F. T. = T
F. F. = T
Double implication/ bidirectional/logical equivalent
p->q AND q->p
True if both are same ELSE False
A <-> B. = RESULT
T. T. = T
T. F. = F
F. T. = F
F. F. = T
(p->q ) is not equal to (q->p)
Statement
Which produces / gives TRUE/FALSE
In implied statements
-> or => =, first first part is called hypothesis (antecedent) and 2nd part is called conclusion or consequent
antecedent
consequent
Tautology
statement which is always true
contradiction
statement which is always false