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.

Filter by
Sorted by
Tagged with
-2
votes
1answer
23 views

Fitch proof help no premise [closed]

There is no premise just a conclusion of ¬C on fitch. I am very stuck on this problem.
-1
votes
0answers
35 views

fitch arrow proof_help

I have to use the following premises (not all) P1: ∀x∀y(WeakPref(x,y)∨WeakPref(y,x)) P2: ∀x∀y∀z((WeakPref(x,y)∧WeakPref(y,z))→WeakPref(x,z)) P3: ∀x∀y(StrongPref(x,y)↔ ¬WeakPref(y,x)) P4: ∀x∀y(Indiff(x,...
-1
votes
2answers
77 views

How to prove A<—>not A

So basically there are no premises, but the file I have received to start this problem has a contradiction symbol as step one. I’m not sure if this was a mistake or purposeful, and if it was ...
0
votes
2answers
46 views

fitch proof chapter 13 (ex. 13.29) [closed]

how to proof exercise 13.29 without using taut con
-1
votes
2answers
58 views

Logic – Deduction in Tarski's World (Fitch/LPL 13.22) [closed]

I am trying to use existential elimination to derive Brillig(a) & Tove(a). how would I do this? I have tried to do separate sub proofs to prove both Brillig(a) & Tove(a) but that doesn't work ...
0
votes
2answers
67 views

Complex Fitch exercise to prove ∀x.r(x) [closed]

Assume a language with the object constant a and the function constant s. Given r(a), ∀x.(p(x) ⇒ r(s(x))), ∀x.(q(x) ⇒ r(s(x))), and ∀x.(r(x) ⇒ p(x) ∨ q(x)), use the Fitch system with Linear Induction ...
-2
votes
1answer
39 views

Fitch Question, Please help! [closed]

Q ∧ S (Q ∧ ¬P) → ¬R Q → ¬P (S ∧ T) → (P ∨ R) The goal is:¬T
0
votes
2answers
59 views

fitch proof. P v Q Q→ ¬ R ¬ P ¬ R → ¬ S GOAL: ¬ S

Need help exercise using the FITCH program format. I'm stuck on where to start. The following 4 steps must be used to prove the goal. P v Q Q→ ¬ R ¬ P ¬ R → ¬ S GOAL: ¬ S Now I know: ¬ P and P v Q ...
-1
votes
1answer
46 views

Trouble with fitch and the use of existential elimination rule [closed]

I am wondering why fitch is not allowing me to use existential elimination for this final step
-1
votes
2answers
66 views

Given the premises ∀x.(p(x) ⇒ q(x)) and ∀x.(q(x) ⇒ r(x)), use the Fitch system to prove the conclusion ∀x.(p(x) ⇒ r(x))

I'm not able to move forward from step 4. I've tried Implication Introduction applied to 3 and 4 but nothing happens, any help is much appreciated.
-1
votes
1answer
59 views

Solving a proof with Fitch

I'm working on an assignment and I'm stuck on this proof. I feel like I'm on the right track but I can't find the way to prove the goal. B ^ D (B^¬A) → ¬C B → ¬A (D^E)→ (A v C) GOAL: ¬E
-1
votes
1answer
63 views

Use the Fitch system to prove the tautology (p ∨ ¬p). Stalled for days (NOT duplicated)

First of all, please don't close this question cause I don't get the explanation given in: Use the Fitch system to prove the tautology (p ∨ ¬p) I have been trying to solve this exercise for days ...
0
votes
0answers
39 views

Use the Fitch system to prove the tautology (p ∨ ¬p). Stalled for days [duplicate]

I'm having trouble solving this one. I've been stuck in step 9 for days now. Any help is very much appreciated.
0
votes
0answers
61 views

fitch arrow proof

using the FITCH program and the FITCH derivation rules you should make a proof or derivation of C7 from P5 through P11. P5: ∀x∀y(StrongPref(x,y)→ ¬StrongPref(y,x)) P6: ∀x∀y∀z((StrongPref(x,y)∧...
0
votes
2answers
67 views

How to prove (A v ¬ B), (¬ A v C), (¬ C → B) therefore (¬ D v C)

My idea is to use disjunction elimination on (¬ A v C)to obtain C, and then use disjunction introduction to obtain (¬ D v C), but I'm having a hard time obtaining C.
0
votes
1answer
87 views

Complete a formal proof of ~(~A&~B) from A in as few lines as possible

Prove ~(~A&~B) from A in as few lines as possible. ~ = negation & = conjunction v = disjunction | = line in a subproof Here's what I have: A - Premise |~A - Assume |~B ...
-1
votes
3answers
93 views

How to prove H → M ¬H → ¬M prove H↔M?

I'm using the program Fitch and I need to make a formal proof for this: H → M ¬H → ¬M Prove: H↔M Any ideas on how to do so?
-2
votes
1answer
298 views

Language, Proof and Logic Exercise 14.13 (Fitch)

Having trouble proving this. I know how to prove the first conjunct of the conclusion, but not the second one. Picture shown is the attempt proof of the second conjunct (rules haven't been added yet). ...
-1
votes
1answer
420 views

Language, Proof, and Logic 14.11 Fitch Proof

Been stuck on this question for awhile now and I just don't know how to get Cube(x) so that I can use ^ intro with Cube(x) and ∀y (Cube(y) → y = a) and then use ∃ intro to get the conclusion. This is ...
-4
votes
2answers
74 views

how to prove ‘¬∃xP(x)→(P(a)→Q(a))’ from no premises? fitch

I am totally lost on how to do this... can anyone help? What does it mean? I tried to understand what it means before proof but am totally clueless
0
votes
2answers
109 views

Fitch Proof Exercise 6.20

I am working on a proof and am stuck on a step. I am not sure why I cannot assume the negation of B. Is it not allowed or am I missing something? Thank you]1
-1
votes
4answers
235 views

Language Proof & Logic 8.31 Fitch Proof

Been working on this one question for the past hours and I can't ever seem to get the last step working. Any help would be appreciated!
-1
votes
2answers
75 views

How can I prove the law of excluded third (p ∨ ¬p)) using Fitch?

Good day. I do not quite understand how I can get ~~p after the 11th line. According to the proof of the law itself (and all reasonable logic) I should get it, and then simplify the expression - but ...
0
votes
0answers
32 views

How would I go about proving P>Q from the premise (notP v Q)? [duplicate]

A similar question had already been asked, but the solution involves steps I am unfamiliar with. in class, we have only been exposed to intro and elim rules, as well as contradiction rules. Here is ...
-1
votes
3answers
464 views

Fitch Proof - Logic LPL 6.31

I am trying to complete the following proof in Fitch but am completely clueless on how to approach it. Any help would be appreciated! Thanks
0
votes
1answer
66 views

De Morgan's Law Formal Proof [duplicate]

Does anyone know how to do this without the use of addition rules? We have not covered that in class, and all the info I can find online suggests that as a solution. Thanks]1
2
votes
1answer
85 views

Contrapositive Fitch Proof

I can't seem to figure out how to get past this step. Any suggestions?
1
vote
2answers
72 views

How to use use the Fitch System to prove (¬p ⇒ q) ⇒ ((¬p ⇒ ¬q) ⇒ p)?

I'm getting a bit stuck in a tailspin on this one. I'm quite new to logic. I'm not sure how or when we use negation to get P. How then does that connect to (¬p ⇒ q) ⇒ ((¬p ⇒ ¬q)?
0
votes
2answers
90 views

Given premise ~(P↔Q) how can one derive (~P↔Q) using Fitch?

Given premise ~(P↔Q) derive (~P↔Q) using Fitch-style natural deduction. I thought of simplifying the premise but I am still not able to find an answer. Can someone please help me?
0
votes
1answer
51 views

How do you prove (p => q => r) => (p => q) => p => r using the Fitch system?

I'm quite new to logic. Thank you for taking the time to review this post. I tried the following and got to the conclusion I wanted but I was never able to prove the statement.
1
vote
1answer
173 views

Fitch Proof - Arrow's logic of preferences

I've been stumped on this one question in particular for several days now and I'm hoping to get some help on where I'm going wrong. Given the following premises: ∀x∀y(StrongPref(x,y)→ ¬StrongPref(y,...
-3
votes
1answer
159 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)∧...
0
votes
2answers
73 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 ...
1
vote
2answers
95 views

Fitch Questions Please Help Me

I'm having trouble understanding writing out a proof. The proof I'm trying to work with is : How do I reach this goal? Which rules do I use and with which support steps to each rule (proofs to prove ...
-1
votes
2answers
129 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
104 views

Fitch Question Help

I'm having trouble understanding quantifiers in proofs. The proof I'm working with is : ¬∀x Tet(x) -- Premise ¬∀x (Tet(x) ∧ Medium(x)) -- Goal How do I reach this goal and also get to the goal ...
1
vote
2answers
75 views

Structure of an if and only if proof

I am trying to get this proof to work out and so far I feel like I have the first part right but I'm stuck on how to get the A→B part.
2
votes
2answers
106 views

Solving a proof in which the goal is the negation of a variable in Fitch

I'm working on an assignment and I'm stuck on this proof. I feel like I'm on the right track but I can't find the way to prove the goal. A ^ B (A ^ ~C) --> ~D A -> ~C (B ^ E) --> (C v D) ~E I ...
1
vote
3answers
448 views

Fitch Proof Question

I'm having trouble with a proof and I'm not sure if it's valid or not. If it appears to be invalid, we are supposed to assign names to the letters in the proof and check it in a World, but when I do ...
3
votes
1answer
360 views

How to Prove P(a) → ∀x(P(x) ∨ ¬(x = a)) using Natural Deduction

How would a formal Fitch proof look like. I am given P(a) → ∀x(P(x) ∨ ¬(x = a)) to prove using Natural Deduction of predicate logic. I am confused on how to proceed with the proof. Please advice me ...
-2
votes
2answers
230 views

Fitch-style natural deduction

How to prove the following questions? (a) p from assumption ¬(p → q) (b) ¬¬p → p from no assumptions.
1
vote
1answer
352 views

trouble with rules of inference practice problems [closed]

Prove the following symbolized arguments applying the appropriate rules of inference: 1) P ∨ Q = M ⊃ ¬ Q M =conjunction Therefore P 2) (P V Q) ∧ ¬ Q P ⊃ R =...
0
votes
2answers
175 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,...
0
votes
2answers
320 views

Language proof and logic Chapter 15 question 21 how?

I'm really not understanding the set up of how to go about solving this problem any help is welcome
0
votes
3answers
87 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
2answers
435 views

Language proof and logic Chapter 15 question 16 help

I'm trying to go about solving this problem but I'm having problems even knowing how to approach it. Can someone help me to set it up? Here is the premise: ∀x∀y(x ⊆ y ↔️ ∀z(z ∈ x ⟶ z ∈ y) Here is ...
0
votes
2answers
255 views

language proof and logic chapter 13 question 49 Help

Premises: ∃xP(x) ∀x∀y((P(x)∧P(y)) → x = y) Prove: ∃x(P(x)∧∀y(P(y) → y = x)) I've started it but the end is starting to get super muddy and not work out and I don't know where I went wrong.
0
votes
1answer
130 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
2answers
233 views

In Fitch, how does one prove “P” from the premise “(¬P ∨ Q)→P”?

I can't figure out how to prove that formally. Please, help!!
3
votes
4answers
2k views

How to prove ‘∃xP(x)’ from ‘¬∀x(P(x)→Q(x))’

What would a formal Fitch proof for this look like? I am given ¬∀x(P(x)→Q(x)), and need to derive ∃xP(x) from it. I started with this, but I don't know if I am doing the right thing, and where to go ...