Besonderhede van voorbeeld: 6044803678498318112

Japanese

論理的帰結は、文の集合から文の集合への関数としても表現できる(タルスキ風の定式化)し、2つの文の集合の間の関係としても表現できる(multiple-conclusion logic)。

Portuguese

A consequência lógica também pode ser expressa como uma função de conjuntos de sentenças para conjuntos de sentenças (a formulação preferida de Tarski), ou como uma relação entre dois conjuntos de sentenças (lógica de conclusão múltipla).