Feli Goldstein (moved) utilise witches.town. Vous pouvez læ suivre et interagir si vous possédez un compte quelque part dans le "fediverse".
Anyone here know Fitch notation of logic? I'm a noob, and I'm kind of stuck on my homework, where I need to provide a formal proof for P(a) V ¬P(b), with the assumption that a=b.
@feli I understand how the thing works, tbh. But unfortunately I need to provide a formal proof. the wikipedia page for fitch notation has a good example https://en.wikipedia.org/wiki/Fitch_notation
@Jellal ah. I looked at the German Wikipedia entry and it is complete rubbish as it seems, because it doesn't say that in Fitch notation you indent stuff etc.