Stuck on Formal Proofs

708 Views Asked by At

I'm trying to figure out this formal proof. This is what I have so far but I'm stuck in trying to reach the goal. I'm not sure if what I did is correct so far since I'm still trying to learn this on my own. If what I provided below is confusing, I also have a screenshot of what it looks like on the Fitch program https://i.stack.imgur.com/vd5FN.jpg Thank you so much!

Premise 1. Dodec(b) v Cube(b)

Premise 2. Small(b) v Medium(b)

Premise 3. ¬Small(b) ^ ¬Cube(b)

  1. (start subproof) Small(b) ∨ Medium(b)
    1. (sub-subproof) ¬Small(b)
    2. Small(b)
    3. ⊥ (⊥ Intro 5,6)
    4. Medium(b) (⊥ Elim 7) (end subproof)

9 (start subproof) Dodec(b) v Cube(b)

  1. (start sub-subproof) ¬Small(b) ∧ ¬Cube(b)
  2. ¬Cube(b) (^ Elim10)

  3. Dodec(b) (Ana Con 9,11)

Goal: Medium(b) ∧ Dodec(b)

1

There are 1 best solutions below

0
On

Thank you @DanielV for your help! I really appreciate it :) Solution

$\def\fitch#1#2{\quad\begin{array}{|l}#1\\\hline#2\end{array}} \def\D{\operatorname{\sf Dodec}(b)} \def\C{\operatorname{\sf Cube}(b)} \def\S{\operatorname{\sf Small}(b)} \def\M{\operatorname{\sf Medium}(b)} \qquad\fitch{~~1.~~\D\vee\C\\~~2.~~\S\vee\M\\~~3.~~\neg\S\wedge\neg\C}{~~4.~~\neg\S\hspace{20ex}{\wedge}\mathsf E~3\\\fitch{~~5.~~\S}{~~6.~~\bot\hspace{25ex}\bot\mathsf I~5,4\\~~7.~~\M\hspace{15.5ex}\bot\mathsf E~6}\\\fitch{~~8.~~\M}{~~9.~~\M\hspace{16ex}\mathsf{Reit}~8}\\10.~~\M\hspace{20ex}{\vee}\mathsf E~2,5{-}7,8{-}9\\11.~~\neg\C\hspace{21ex}{\wedge}\mathsf E~3\\\fitch{12.~~\C}{13.~~\bot\hspace{25ex}\bot\mathsf I~12,11\\14.~~\D\hspace{17.5ex}\bot\mathsf E~13}\\\fitch{15.~~\D}{16.~~\D\hspace{18ex}\textsf{Reit}~15}\\17.~~\D\hspace{22ex}{\vee}\mathsf E~1,12{-}14,15{-}16\\18.~~\M\land\D\hspace{8ex}{\wedge}\mathsf I~10,17}$