Questions tagged [fitch]
Frederic Brenton Fitch (1908 – 1987) was an American logician who taught at Yale. He invented the Fitch-style for natural deduction. He is also famous for the paradox of knowability. The tag may also refer to natural deduction proof environments in Fitch-style calculus for giving and checking proofs.
59
questions
0
votes
2answers
61 views
Fitch Question Please Help Me [closed]
I'm having trouble understanding writing out a proof. The proof I'm trying to work with is :
[![enter image description here][1]][1]
How do I reach this goal? Which rules do I use and with which ...
0
votes
3answers
77 views
In Fitch, how does one prove ¬(B ∧ C) from two premises (A → ¬B) and (¬A → ¬C) [closed]
Help me out please!! I have been trying to solve it for hours
0
votes
1answer
93 views
language logic and proof chapter 12 question 49 and question 50
I've been working on this and I can't seem to figure out what exactly is going wrong can anyone help?
0
votes
0answers
22 views
Language Proof and Logic 15.16 [duplicate]
This problem concerns the practice problem 15.16 of the textbook Language, Proof and Logic.
So I saw a similar post here, which gave most of the correct answer (Language proof and logic Chapter 15 ...
0
votes
2answers
50 views
Fitch Proof Help
I'm having some trouble solving this proof in Fitch. How do the universals switch place from the premise to the goal? There is no negation in the goal so negation introduction is not the way to go, I ...
0
votes
2answers
110 views
Language Proof and logic Chapter 13 problem 31
I have been working on this problem for over an hour and I think I have simply missed something. I need some help. I don't see how this is supposed to work out
Here are the premises:
∀x ∀y[Likes(x,...
-1
votes
1answer
2k views
fitch proof chapter 13 exercise 13.49 [closed]
Does anyone know how to solve
13.49
∃x P(x)
∀x ∀y ((P(x) ∧ P(y)) → x = y)
= ∃x (P(x) ∧ ∀y (P(y) → y = x))
and 13.50
∃x (P(x) ∧ ∀y (P(y) → y = x))
=
∀x ∀y ((P(x) ∧ P(y)) → x = y)
I have big ...
-2
votes
2answers
101 views
Fitch-style natural deduction
How to prove the following questions?
(a) p from assumption ¬(p → q)
(b) ¬¬p → p from no assumptions.
-3
votes
1answer
73 views
Fitch Arrow Proofs [closed]
Using the FITCH program and the FITCH derivation rules you should make a proof or derivation of C10 from P5 through P11.
P5: ∀x∀y(StrongPref(x,y)→ ¬StrongPref(y,x))
P6: ∀x∀y∀z((StrongPref(x,y)∧...
