Introduction to Logic

Tools
for
Thought

Jeopardy*

Syntax	Logical Properties	Logical Entailment	Proofs	Random Trivia
$100	$100	$100	$100	$100
$200	$200	$200	$200	$200
$300	$300	$300	$300	$300
$400	$400	$400	$400	$400
$500	$500	$500	$500	$500

*Game idea courtesy of Nisanti Wilmot.

click(X) :: seen(X)
click(X) :: question(X,Q) & response(X,A) ==> alert(Q) & alert(A)

innerhtml(X," ") :- seen(X)

style(X,"cursor","pointer") :- question(X,Q) & ~seen(X)
style(X,"cursor","text") :- seen(X)

onclick(X,"") :- seen(X)
onclick(X,modbutton(this)) :- question(X,Q) & ~seen(X)

question(a100,"AX:(p(X) => q(X)) is an implication.")
response(a100,"What is FALSE?")

question(a200,"AX:EX:p(X,Y) is a syntactically legal sentence.")
response(a200,"What is TRUE?")

question(a300,"The property of a sentence that contains no variables")
response(a300,"What is GROUND?")

question(a400,"The property of a sentence that contains no free variables")
response(a400,"What is CLOSED?")

question(a500,"The sentence AX:(p(X) => EY:q(X,Y)) has no free variables.")
response(a500,"What is TRUE?")

question(b100,"Size of Herbrand base for a language with 3 object constants and 1 binary relation constant.")
response(b100,"What is 9?")

question(b200,"Logical property of a sentence that is true in every truth assignment")
response(b200,"What is VALIDITY?")

question(b300,"Logical property of (EX:p(X) => AX:p(X))")
response(b300,"What is CONTINGENCY?")

question(b400,"Logical property of AX:(p(X) => ~p(X))")
response(b400,"What is CONTINGENCY?  p could be empty.")

question(b500,"Logical property of (EX:p(X) => AX:q(X)) | (AX:q(X) => EX:r(X))")
response(b500,"What is VALIDITY?")

question(c100,"AX:AY:p(X,Y) |= p(a,a)")
response(c100,"What is TRUE?")

question(c200,"AX:EY:p(X,Y) |= EY:AX:p(X,Y)")
response(c200,"What is FALSE?")

question(c300,"EY:AX:p(X,Y) |= AX:EY:p(X,Y)")
response(c300,"What is TRUE?")

question(c400,"AX:EY:p(X,Y) |= EY:AX:p(Y,X)")
response(c400,"What is FALSE?")

question(c500,"AX:(p(X) => EY:q(Y)) |= (EX:p(X) => EY:q(Y))")
response(c500,"What is TRUE?")

question(d100,"The name of the rule ~~phi |- phi")
response(d100,"What is negation elimination?")

question(d200,"The name of the rule phi => psi, phi => ~psi |- ~phi")
response(d200,"What is negation introduction?")

question(d300,"AX:p(a,X) |- p(a,a) is an acceptable application of Universal Elimination.")
response(d300,"What is TRUE?")

question(d400,"AX:AY:p(X,Y) |- AX:p(X,b) is an acceptable application of Universal Elimination.")
response(d400,"What is FALSE?")

question(d500,"Delta |= phi if and only if Delta |- phi")
response(d500,"What is TRUE?  Fitch is sound and complete.")

question(e100,"The first person to set foot on the Moon")
response(e100,"Who is Neil Armstrong?")

question(e200,"Naturalist who sailed on HMS Beagle.")
response(e200,"Who is Charles Darwin?")

question(e300,"The first national park in the United States")
response(e300,"What is Yellowstone?")

question(e400,"The person who discovered radium")
response(e400,"Who is Marie Curie?")

question(e500,"The only person to win a Nobel prize in two scientific fields")
response(e500,"Who is Marie Curie?")