Search found 1 match
- Sat Jan 14, 2023 11:21 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Help with First Order Logic Proofs
- Replies: 1
- Views: 7439
Help with First Order Logic Proofs
Hi guys, I'm currently working through a textbook on First Order Logic and am now at proofs. I've done quite a few so far but am really struggling with these three questions and wondered if anyone could construct some proofs for these questions to help me out. I've linked a proof checker below that ...