"3"^^ . . . . . . "cálculo de proposiciones"@es . . .