También sé que, por "modus ponens", puedo deducir la proposición 'y' dadas dos premisas: si 'x', entonces 'y', y es el caso que 'x'.