From: Predicting protein functions by applying predicate logic to biomedical literature
Step | Reason |
---|---|
1. NCBND(Px, Py) | Given premise (based on its co-occurrence with Pu) |
2. F(Px) | Given premise (based on its co-occurrence with Pu) |
3. NCBND(Px, Py)→PPI(Px, Py) | Premise R12 from Table 1 |
4. PPI(Px, Py) → PCF(Px, Py) | Premise R6 from Table 1 |
5. NCBND(Px, Py) → PCF(Px, Py) | Law of Syllogism using steps 1 and 5 |
6. PCF(Px, Py) | Modus Ponens using steps 6 and 7 |
7. PCF(Px, Py) ∧ F(Px) | Conjunction using steps 2 and 6 |
8. PCF(Px, Py)→(F(Px)→F(Py)) | Premise R7 from Table 1 |
9. F(Py) | Conditional Proof using steps 7 and 8 |