Boost Your Productivity!Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
3-valued predicate logic
Clause form of predicate logic
First order logic
First-order predicate calculus
First-order predicate logic
Predicate calculus
Predicate logic
Second order logic
Second-order predicate calculus
Second-order predicate logic

Traduction de «3-valued predicate logic » (Anglais → Français) :

TERMINOLOGIE
voir aussi les traductions en contexte ci-dessous
3-valued predicate logic

logique de prédicats à trois valeurs


first order logic | first-order predicate calculus | first-order predicate logic | predicate calculus | predicate logic | FOPL,FOPC [Abbr.]

calcul de prédicats | calcul des prédicats | logique de 1er ordre | logique des prédicats


second order logic | second-order predicate calculus | second-order predicate logic

logique d'ordre 2 | logique du deuxième ordre


clause form of predicate logic

forme clausale en logique de prédicats
TRADUCTIONS EN CONTEXTE
If unpaid work has value, then logically we should include it in the comprehensive income tax base.

Si le travail non rémunéré a une valeur, alors logiquement, nous devrions l'inclure dans l'ensemble du régime d'impôt sur le revenu.


In terms of your comments about unpaid work, if unpaid work has value, then logically we should do to it what we do to every other kind of productive activity in the economy, from building bridges to building houses to writing reports.

Quant à vos commentaires sur le travail non rémunéré, si le travail non rémunéré a une valeur, alors logiquement, nous devrions agir à cet égard comme on le fait pour tout autre type d'activité productive dans l'économie, que ce soit construire des ponts, des maisons ou rédiger des rapports.


3. Is deeply concerned at the fact that budgetary debates in the Council have been for many years poisoned by the logic of ‘fair returns’ instead of being driven by the logic of the European added-value; considers that, while this debate already existed before the introduction of a GNI-based resource, the situation has seriously intensified due to the current system of EU financing, whereby some 74 % of revenues stem from national contributions based on GNI instead of genuine own resources, as foreseen in the Treaty of Rome and all successive EU Treaties; considers that such a system places disproportionate emphasis on net balances bet ...[+++]

3. s'inquiète vivement du fait que les débats budgétaires au Conseil soient empoisonnés depuis de nombreuses années par le principe du «juste retour» au lieu d'être guidés par la logique de la valeur ajoutée européenne; estime que si cette controverse existait déjà avant l'introduction d'une ressource fondée sur le RNB, la situation s'est nettement aggravée avec le système actuel de financement de l'Union, dans lequel quelque 74 % des recettes proviennent de contributions nationales fondées sur le RNB et non de véritables ressources propres, comme le prévoient le traité de Rome et tous les traités européens qui lui ont fait suite; esti ...[+++]


3. Is deeply concerned at the fact that budgetary debates in the Council have been for many years poisoned by the logic of ‘fair returns’ instead of being driven by the logic of the European added-value; considers that, while this debate already existed before the introduction of a GNI-based resource, the situation has seriously intensified due to the current system of EU financing, whereby some 74 % of revenues stem from national contributions based on GNI instead of genuine own resources, as foreseen in the Treaty of Rome and all successive EU Treaties; considers that such a system places disproportionate emphasis on net balances bet ...[+++]

3. s'inquiète vivement du fait que les débats budgétaires au Conseil soient empoisonnés depuis de nombreuses années par le principe du "juste retour" au lieu d'être guidés par la logique de la valeur ajoutée européenne; estime que si cette controverse existait déjà avant l'introduction d'une ressource fondée sur le RNB, la situation s'est nettement aggravée avec le système actuel de financement de l'Union, dans lequel quelque 74 % des recettes proviennent de contributions nationales fondées sur le RNB et non de véritables ressources propres, comme le prévoient le traité de Rome et tous les traités européens qui lui ont fait suite; esti ...[+++]


For more results, go to https://pro.wordscope.com to translate your documents with Wordscope Pro!
Joking aside, I think that all of the statements annexed to this 2011 budget – because, yes, a budget in itself is also political, as Parliament showed with the political priorities that it included in the budget – whether on own resources, on European added value, on Lisbonisation – the Commission’s declaration – or in the context of this joint statement, which is important and which has already been followed by a letter from the Belgian Prime Minister, the current President of the European Union, I think that all these statements show that all the stages are going in the right direction. We are certainly not moving as quickly as everyo ...[+++]

Outre cette boutade, je pense que l’ensemble des déclarations qui sont jointes à ce budget 2011 – car oui, un budget en soi est également politique, le Parlement l’a démontré dans le cadre des priorités politiques qu’il avait insérées dans le cadre du budget –; que ce soit sur les ressources propres, sur la european added value, sur la lisbonnisation – déclaration de la Commission –, que ce soit dans le cadre de cette joint declaration, qui est importante et qui a déjà été suivie d’un courrier du Premier ministre belge, président actuel de l’Union européenne, je pense que toutes ces déclarations démontrent que toutes ces étapes vont dan ...[+++]


Countries should adopt measures similar to those set forth in the Vienna and Palermo Conventions, including legislative measures, to enable their competent authorities to confiscate property laundered, proceeds from money laundering or predicate offences, instrumentalities used in or intended for use in the commission of these offences, instrumentalities used in or intended for use in the commission of these offences, or property of corresponding value, without prejudicing the rights of bona fide third parties.

Les pays devraient adopter des mesures similaires à celles indiquées dans les Conventions de Vienne et de Palerme, y compris des mesures législatives, afin que les autorités compétentes soient en mesure de confisquer les biens blanchis, les produits découlant du blanchiment de capitaux ou des infractions sous-jacentes, ainsi que les instruments utilisés ou destinés à être utilisés pour commettre ces infractions, ou des biens d'une valeur équivalente sans préjudice du droit des tiers de bonne foi.


In other words, they must be predicated on the need for the European Union to maintain the values which it has already acquired and which must continue to apply, they must be predicated on peoples' priorities and not on petty political perceptions which, in the final analysis, are short-lived and are sometimes to do with antagonism of one sort or another, which gets us nowhere.

En d'autres termes, ces solutions doivent se baser sur la nécessité pour l'Union européenne de maintenir les valeurs qu'elle a déjà acquises et qu'elle doit continuer à appliquer ; elles doivent se baser sur les priorités des citoyens et non sur des perceptions politiques mesquines qui, en dernière analyse, sont de courte durée et ont parfois affaire avec divers antagonismes qui ne mènent nulle part.


If we are to expect third countries to adhere to certain values, to which we have not ourselves been capable of adhering, then perhaps the most logical interpretation is that you have now become a fervent supporter of making the Charter of Fundamental Rights binding in nature and perhaps even including it in the Treaties.

Si nous devons exiger des pays tiers qu'ils respectent les valeurs que nous avons été nous-mêmes incapables de respecter, je crois que l'interprétation la plus logique serait de dire que vous êtes devenu un fervent partisan de l'application obligatoire de la Charte des droits fondamentaux, voire de son inclusion dans les Traités.


I would never challenge his logic, since his logic leads him to conclude, and this is a characteristic of his position, if he does not recognize the distinctiveness of Quebec in its true sense, it is because he came to the logical conclusion that there is only one, real national government, namely Ottawa, to represent Canadian values, make major decisions, decide the basic trust of anything and everything happening in Canada and that the provinces are just that, provinces. They exist under the Constitution.

Je n'irais jamais contester sa logique, puisque sa logique l'amène à conclure ainsi, ce qui est une caractéristique de sa position, et les raisons pour lesquelles il s'oppose au caractère distinctif du Québec dans son vrai sens, c'est sa logique l'amène à conclure qu'il n'y a qu'un seul gouvernement national, qu'il n'y a qu'un seul vrai gouvernement, le gouvernement d'Ottawa, celui qui incarne les valeurs, les grandes décisions, qui doit déterminer tout ce qui se passe au Canada en termes d'orientations fondamentales et que les provinces, oui, elles sont dans la Constitution, que voulez-vous qu'on fasse, elles sont déjà là.


However, we particularly advocate programs that foster social cohesion—in other words, teaching the different values that underlie religious beliefs; while there are different religions around the world that are predicated on specific moral values, there are also universal values, such as justice and equality, just to name the ones we consider most essential here in Canada and Quebec.

Nous insistons plus sur un enseignement qui favorise la cohésion sociale, donc davantage un apprentissage des valeurs qui sont portées par la religion, mais comme il y a différentes religions de par le monde et qu'elles ont certaines valeurs morales, il y a aussi des valeurs qui sont universelles, dont la justice et l'égalité, pour nommer que les deux plus essentielles ici, au Canada et au Québec.




datacenter (1): www.wordscope.fr (v4.0.br)

'3-valued predicate logic' ->

Date index: 2021-10-09
w