Lec3. Proposition Logic Flashcards
what is a proposition
sentence declare a fact
What is truth value of the proposition?
T or F
What is a propositional variable?
represents an element of the set of ALL propositions
What is propositional operation
operation on the set of all propositions
Ex of most common operations
negation - unary
conjunction - binary
disjunction - binary
conditional - binary
biconditional - binary
What are the accepted symbols for propositional expression?
T
F
propositional variables like p,q,r
propositional operations like negation, conjunction,…
bracket
when the 2 proportional expressions are equivalent?
have the same truth table
____ propositional expression
that is always true
tautology
___ propositional expression
that is always false
contradiction
what is another name for propositional operation?
logical operation
What is another name for proporsitional expression?
compound proposition
differentiate “exclusive or” vs. “inclusive or”
“exclusive or” - true when either p or q is true
“inclusive or” - behave like disjunction
____ propositional expression
that is neither a tautology nor a contradiction
contingency
if p –> q, p is ____ and q is ____
antecendent
consequent
Similar word to antecedent and consequent
hypothesis
conclusion
