Please enable JavaScript.
Coggle requires JavaScript to display documents.
Propositional and Predicate Logic (Operators (Propostional or boolean…
Propositional and Predicate Logic
Operators
Unary - take 1 operand ( e.g. minus -3)
Binary - take 2 operands (e.g multiply 3 x 4)
Propostional or boolean
AND ^
OR Downwards hat
Exclusive OR (XOR)
Only one or the other is true
Implication Operator
biconditional
also called bi-implications
De Morgan's Laws
Proposition
A statement that is etiher true or false
1/ London is the Capital of the UK
2/ Paris is the capital of Germany
Propostional Logic is the logic of compound statements built from simpler statements using boolean connectives
Tautolgoies
A compound proposition that is true, no matter what the truth values of its atomic propositions
Contradiction
A compound proposition that is true, no matter what the truth values of its atomic propositions
Contigency