Material implication (rule of inference)
[es] Implicación material
[pt] Implicação material (regra de inferência)