rdfs:comment
| - In mathematical logic, the implicational propositional calculus is a version of classical propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by "implies", "if ..., then ...", "→", "", etc.. (en)
- Na lógica matemática, o cálculo proposicional implicacional é um fragmento do cálculo proposicional clássico (bivalente) que usa somente um conectivo, chamado de implicação ou condicional. Nas fórmulas, essa operação binária é indicada por "implica", "se ..., então ...", "", etc. (pt)
- 在数理逻辑中,蕴涵命题演算是只使用叫做蕴涵或条件的一个连结词的经典(二值)命题演算。用公式表达,这个二元运算被指示为“implies”“如果 ..., 则 ...”, “→”, “”等等。 (zh)
|
has abstract
| - In mathematical logic, the implicational propositional calculus is a version of classical propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by "implies", "if ..., then ...", "→", "", etc.. (en)
- Na lógica matemática, o cálculo proposicional implicacional é um fragmento do cálculo proposicional clássico (bivalente) que usa somente um conectivo, chamado de implicação ou condicional. Nas fórmulas, essa operação binária é indicada por "implica", "se ..., então ...", "", etc. (pt)
- 在数理逻辑中,蕴涵命题演算是只使用叫做蕴涵或条件的一个连结词的经典(二值)命题演算。用公式表达,这个二元运算被指示为“implies”“如果 ..., 则 ...”, “→”, “”等等。 (zh)
|