I don't think I am right to say:
If I know $F_1$ and $\neg F_1$ then I know $F_2$?
Cos $F_1$ is not related to $F_2$? Or perhaps there's a typo? It says in my notes: negation elimination
I don't think I am right to say:
If I know $F_1$ and $\neg F_1$ then I know $F_2$?
Cos $F_1$ is not related to $F_2$? Or perhaps there's a typo? It says in my notes: negation elimination