Question

Let Δ be a set of sentences. Let ϕ be a sentence. If Δ⊢Mendelson ϕ, then it must be the case that Δ⊢Fitch ϕ.

Answer 1

??

Answer 2

It is a true/false question

Answer 3

what does it mean?? "Δ⊢Mendelson ϕ" ??

Answer 4

I believe it is one of the unsatisfiability proofs. It is for intro to logic.

Answer 5

I haven't heard terms like "⊢Fitch " and "⊢Mendelson "

Answer 6

I believe those are just random names added in. The symbol should look like the rotated L

Answer 7

I don't think i can answer question of yours ... :( sorry!!

Answer 8

No worries