Any declarative sentence that is either T or F, but not both.
What is a statement?
100
b: An orange is a fruit. The negation of this statement is _____________ (symbol and statement).
What is ~b: An orange is not a fruit.
100
~(a ^ ~b) is logically equivalent to ______ (De Morgan's)
What is ~a v b?
100
4.4910 + 0.6053 =
What is 5.0963?
200
~ (p -> q) is logically equivalent to ________.
What is p ^ ~q
200
A statement that is true if and only if at least one of p and q is true.
What is disjunction?
200
a: Texas is not a state.
b: A dog is an animal.
The conjunction (a ^ ~b) is __________.
What is Texas is not a state and a dog is not an animal?
200
t -> ~u is logically equivalent to ____________ (conditional to disjunction).
What is ~t v u.
200
(-3)^3 =
What is -27?
300
(****DOUBLE POINTS****)
p v q is logically equivalent to ______.
What is q v p?
300
A statement whose truth value is the opposite of the truth value of p.
What is negation?
300
p: Austin is the capital of Texas.
q: New Years is on July 4th.
The inverse of ~p -> q is _______________.
What is If Austin is the capital of Texas, then New Years is not on July 4th.
300
~(w -> ~s) is logically equivalent to ________ (neg. of cond. to conjunction)
What is w ^ s?
300
(****DOUBLE POINTS****)
6.2118/2.04 =
What is 3.045?
400
~(p ^ q) = ~p v ~q
What is DeMorgan's Law?
400
A statement is a ___________ if it is always true.
What is Tautology?
400
p: A lemon is tart.
q: PREP is in the summer.
The biconditional of ~q -> p is __________.
What is PREP is not in the summer if and only if a lemon is tart.
400
w v ~s is logically equivalent to __________ (disjun to conditional)
What is ~w -> ~s?
400
4 1/5 - 2 7/5 =
What is 0.8?
500
q -> p = ~p -> q
This is known as _________.
What is contrapositive?
500
A statement is a __________ if it is always false.
What is contradiction?
500
e: Lebron James is not a basketball player.
k: The Spurs are from San Antonio.
The standard form of the negation of the disjunction of ~e and k is ________________.
What is Lebron James is not a basketball player and the spurs are not from San Antonio.
500
(****DOUBLE POINTS*****)
Prove logically equivalency using truth table:
~(~s -> r) = ~s ^ ~r
What is (Answer is ON THE BOARD)
500
0.91 x 70 + [1 1/2 + 11/20 x (7.50 - 3.001)] - 5 =