formula_99"x" (P"x" → L"x")] → L"d" Que podría equivaler a: Si todos los perros ladran, entonces Desko (mi perro) ladra.