Information | |
---|---|
has gloss | eng: Conjunction introduction is the inference that, if p is true, and q is true, then the conjunction p and q is true. |
lexicalization | eng: Conjunction introduction |
instance of | e/Rule of inference |
Meaning | |
---|---|
Portuguese | |
has gloss | por: A introdução da conjunção é uma regra de inferência que estabelece que, se dois argumentos A e B são verdadeiros, então a conjunção dos mesmos também é verdadeira. |
lexicalization | por: Introdução da conjunção |
Swedish | |
has gloss | swe: Och-introducering eller introducering av konjunktion är en logisk härledningsregel inom satslogiken med formen: : \beginarray}cc} A & \mathrm(premiss}) \\ B & \mathrm(premiss}) \\ \hline A \and B & \mathrm(slutsats)} \endarray} |
lexicalization | swe: Och-introducering |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint