. . . . . . . . . . "10936"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "M\u00E9thode des tableaux"@fr . "Baumkalk\u00FCl"@de . "4741166"^^ . . . . . . "M\u00E9todo dos Tableaux Anal\u00EDticos"@pt . . . . . . . . . . "180845720"^^ . "En th\u00E9orie de la d\u00E9monstration, les tableaux s\u00E9mantiques sont une m\u00E9thode de r\u00E9solution du probl\u00E8me de la d\u00E9cision pour le calcul des propositions et les logiques apparent\u00E9es, ainsi qu'une m\u00E9thode de preuve pour la logique du premier ordre. La m\u00E9thode des tableaux peut \u00E9galement d\u00E9terminer la satisfiabilit\u00E9 des ensembles finis de formules de diverses logiques. C'est la m\u00E9thode de preuve la plus populaire pour les logiques modales (Girle 2000). Elle fut invent\u00E9e par le logicien hollandais Evert Willem Beth."@fr . . . "En th\u00E9orie de la d\u00E9monstration, les tableaux s\u00E9mantiques sont une m\u00E9thode de r\u00E9solution du probl\u00E8me de la d\u00E9cision pour le calcul des propositions et les logiques apparent\u00E9es, ainsi qu'une m\u00E9thode de preuve pour la logique du premier ordre. La m\u00E9thode des tableaux peut \u00E9galement d\u00E9terminer la satisfiabilit\u00E9 des ensembles finis de formules de diverses logiques. C'est la m\u00E9thode de preuve la plus populaire pour les logiques modales (Girle 2000). Elle fut invent\u00E9e par le logicien hollandais Evert Willem Beth."@fr . . . .