The premises are taken for granted and then with the application of modus ponens (an inference rule) the conclusion follows.
Οι προκείμενες θεωρούνται δεδομένες και, στη συνέχεια, με την εφαρμογή του modus ponens (ένας κανόνας συμπερασμού) συνάγεται το συμπέρασμα.