M3: Propositional Logic: Symbolic Translation Flashcards
study of the symbolic language used in Logic
Symbolic Logic
translation of propositions, operations, and other concepts into symbolic form to manipulate them easily
Symbolic Logic
dummy letters indicate propositions with empty value
Propositional variables
indicate atomic propositions that contain truth-value (has an equivalent proposition)
Propositional Constants
T or F: Propositional Constants, lowercase Roman Alphabet is used
False, capital
3 ways in using propositional constants
- underlining a word or part of a proposition with the first letter indicating what letter to be used in representing the whole proposition.
- whole proposition is underlined and a letter is written above.
3.list of letters with corresponding propositions is provided (marked with the word ‘wherein’).
4 Main Logical Connectives
Conjunction
Disjunction
Conditional
Biconditional
2-way horizontal arrow (sometimes = )
biconditional
Arrow pointing right (sometimes ⊃)
conditional
Either-Or
disjunction
Inverted V (sometimes * is used)
conjunction
the combination of two or more atomic propositions, additional symbols are used which are called
Logical Connectives
are symbols that aid in the truth-value computation of compound/complex propositions
Logical Operations
T or F: All four logical connectives are logical operations.
TRUE
T or F Negation is a logical connective but not a logical operation
False, it is a logical operation but is not a logical connective.