e/Disjunction introduction

Information
has gloss	eng: Disjunction introduction or Addition is a valid, simple argument form in logic:
lexicalization	eng: Disjunction introduction
instance of	e/Rule of inference

Meaning
Portuguese
has gloss	por: Na lógica matemática, a introdução da disjunção é uma regra de inferência que estabelece que, se um argumento é verdadeiro, então a disjunção deste argumento com qualquer outro também é verdadeiro.
lexicalization	por: introdução da disjunção
Swedish
has gloss	swe: Eller-introducering eller introducering av disjunktion är en logisk härledningsregel inom satslogiken med formen: : \beginarray}cc} A & \mathrm(premiss)} \\ \hline A \or B & \mathrm(slutsats)} \endarray}
lexicalization	swe: Eller-introducering