Skip to main content

Table 5 Inferring the function of protein Pu described in example 2

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
\