Vertaling van "two-sorted logic " (Engels → Frans) :

TERMINOLOGIE

two-sorted predicate logic [ two-sorted logic | many-sorted logic | many-sorted calculus ]
calcul multi-sortes [ logique multi-sortes ]

two-type logic
logique à deux types

two-valued logic
logique bivaluée

IN-CONTEXT TRANSLATIONS

The other thing is that I think the preoccupation was that Quebec courts be represented, and it was sort of a logical conclusion that you would name the two principal courts in Quebec.
L'autre aspect est que je pense que la préoccupation était que les tribunaux du Québec soient représentés et il était donc logique de nommer les deux principaux tribunaux du Québec.