Also, from the first element of A, last element, as well as modus ponens, R is a consequence, and so R ∈ Γ {\displaystyle R\in \Gamma } .
Επίσης, από το πρώτο στοιχείο του A, το τελευταίο στοιχείο, καθώς και το modus ponens, το R είναι μια συνέπεια, και έτσι το R ∈ Γ {\displaystyle R\in \Gamma } .