Q&A: What would you like to know about LCA?

Use the discussion thread below to ask any questions you have about the Logic Course Adventure!

Is your question more involved? Use our contact form.

Subscribe
Notify of
guest
7 Comments
Inline Feedbacks
View all comments
jem4
jem4
1 month ago

What do formal proofs look like?

Peter
Peter
Reply to  Ian Schnee
1 month ago

Hi Ian, this is helpful, but is this example you’ve posted exactly what formal proofs look like for students? As you know, in pen-and-paper Fitch systems students can distinguish between nested assumptions and their parent temporary assumptions. I’m worried that if things look exactly as you’ve displayed, this important element is missing.

Peter Tan
Peter Tan
Reply to  Ian Schnee
16 days ago

Ian, just sent you an email at your UW email!

bridgelmc
bridgelmc
1 month ago

Can students type all the symbols in the system from a standard keyboard? How do you handle special symbols or characters?