ó Menú de la letra R
reducción al absurdo
regla de inferencia