From: Predicting protein functions by applying predicate logic to biomedical literature
Step | Reason |
---|---|
1. AAS(Px) | Given premise (based on its co-occurrence with Pu) |
2. AAS(Py) | Given premise (based on its co-occurrence with Pu) |
3. AAS(Px) ∧ AAS(Py) | Conjunction using steps 1 & 2 |
4. AAS(Px) → ST(Px) | Premise R2 from Table 1 |
5. ST(Px) | Modus Ponens using steps 1 & 4 |
6. (AAS(Px) ∧ AAS(Py)) ∧ ST(Px) | Conjunction using steps 3 & 5 |
7. (AAS(Px) ∧ AAS(Py))→((ST(Px)→F(Py)) | Premise R10 from Table 1 |
8. F(Py) | Conditional Proof using steps 6 & 7 |
9. AAS(Py) → ST(Py) | Premise R2 from Table 1 |
10. ST(Py) | Modus Ponens using steps 2 & 9 |
11. (AAS(Px) ∧ AAS(Py)) ∧ ST(Py) | Conjunction using steps 3 &10 |
12. (AAS(Px) ∧ AAS(Py))→((ST(Py)→F(Px)) | Premise M10 from Table 1 |
13. F(Px) | Conditional Proof using steps 11&12 |