"Implicational propositional calculus"@en . . . . . . . . . "Na l\u00F3gica matem\u00E1tica, o c\u00E1lculo proposicional implicacional \u00E9 um fragmento do c\u00E1lculo proposicional cl\u00E1ssico (bivalente) que usa somente um conectivo, chamado de implica\u00E7\u00E3o ou condicional. Nas f\u00F3rmulas, essa opera\u00E7\u00E3o bin\u00E1ria \u00E9 indicada por \"implica\", \"se ..., ent\u00E3o ...\", \"\", etc."@pt . . "1060560676"^^ . . . . . . "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 ...\", \"\u2192\", \"\", etc.."@en . "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 ...\", \"\u2192\", \"\", etc.."@en . . . . "20737"^^ . . . . . . . . . "\u8574\u6DB5\u547D\u9898\u6F14\u7B97"@zh . . . . . . . . . . . . "5795043"^^ . . . . . . . . "\u5728\u6570\u7406\u903B\u8F91\u4E2D\uFF0C\u8574\u6DB5\u547D\u9898\u6F14\u7B97\u662F\u53EA\u4F7F\u7528\u53EB\u505A\u8574\u6DB5\u6216\u6761\u4EF6\u7684\u4E00\u4E2A\u8FDE\u7ED3\u8BCD\u7684\u7ECF\u5178(\u4E8C\u503C)\u547D\u9898\u6F14\u7B97\u3002\u7528\u516C\u5F0F\u8868\u8FBE\uFF0C\u8FD9\u4E2A\u4E8C\u5143\u8FD0\u7B97\u88AB\u6307\u793A\u4E3A\u201Cimplies\u201D\u201C\u5982\u679C ..., \u5219 ...\u201D, \u201C\u2192\u201D, \u201C\u201D\u7B49\u7B49\u3002"@zh . "Na l\u00F3gica matem\u00E1tica, o c\u00E1lculo proposicional implicacional \u00E9 um fragmento do c\u00E1lculo proposicional cl\u00E1ssico (bivalente) que usa somente um conectivo, chamado de implica\u00E7\u00E3o ou condicional. Nas f\u00F3rmulas, essa opera\u00E7\u00E3o bin\u00E1ria \u00E9 indicada por \"implica\", \"se ..., ent\u00E3o ...\", \"\", etc."@pt . . "\u5728\u6570\u7406\u903B\u8F91\u4E2D\uFF0C\u8574\u6DB5\u547D\u9898\u6F14\u7B97\u662F\u53EA\u4F7F\u7528\u53EB\u505A\u8574\u6DB5\u6216\u6761\u4EF6\u7684\u4E00\u4E2A\u8FDE\u7ED3\u8BCD\u7684\u7ECF\u5178(\u4E8C\u503C)\u547D\u9898\u6F14\u7B97\u3002\u7528\u516C\u5F0F\u8868\u8FBE\uFF0C\u8FD9\u4E2A\u4E8C\u5143\u8FD0\u7B97\u88AB\u6307\u793A\u4E3A\u201Cimplies\u201D\u201C\u5982\u679C ..., \u5219 ...\u201D, \u201C\u2192\u201D, \u201C\u201D\u7B49\u7B49\u3002"@zh . "C\u00E1lculo proposicional implicacional"@pt . . . . . . . . . . . . . . . . . . .