- formal consequence
- мат. формальное следствие
Большой англо-русский и русско-английский словарь. 2001.
formal consequence
Смотреть что такое "formal consequence" в других словарях:
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
consequence — con|se|quence W2S3 [ˈkɔnsıkwəns US ˈka:nsı kwens] n 1.) something that happens as a result of a particular action or set of conditions consequence of ▪ Many believe that poverty is a direct consequence of overpopulation. consequence for ▪ Our… … Dictionary of contemporary English
consequence */*/*/ — UK [ˈkɒnsɪkwəns] / US [ˈkɑnsəkwəns] noun [countable] Word forms consequence : singular consequence plural consequences a result or effect of something She said exactly what she felt, without fear of the consequences. consequence of: The… … English dictionary
consequence — con|se|quence [ kansəkwəns ] noun count *** a result or effect of something: She said exactly what she felt, without fear of the consequences. consequence of: The consequence of such policies will inevitably be higher taxes.… … Usage of the words and phrases in modern English
consequence — noun 1 (C) something that happens as a result of a particular action or set of conditions: the harmful social consequences of high levels of unemployment. | The safety procedures had been ignored, with potentially tragic consequences. |… … Longman dictionary of contemporary English
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
consequence — noun ADJECTIVE ▪ full ▪ unintended ▪ The Act could have certain unintended consequences. ▪ far reaching, important, profound, significant … Collocations dictionary
consequence — [[t]kɒ̱nsɪkwens[/t]] ♦♦♦ consequences 1) N COUNT: usu with supp, oft N of n The consequences of something are the results or effects of it. Her lawyer said she understood the consequences of her actions and was prepared to go to jail... An… … English dictionary
consequence*/*/*/ — [ˈkɒnsɪkwəns] noun [C] a result or effect of something Climate change could have disastrous consequences.[/ex] the economic consequences of government policies[/ex] Demand for oil increased and, as a consequence, the price went up.[/ex] • of no… … Dictionary for writing and speaking English
consequence — noun 1) a consequence of inflation Syn: result, upshot, outcome, effect, repercussion, ramification, corollary, concomitant, aftermath, aftereffect; fruit(s), product, by product, end result; informal payoff; Medicine sequela Ant … Thesaurus of popular words
formal logic — /fɔməl ˈlɒdʒɪk/ (say fawmuhl lojik) noun the branch of logic concerned exclusively with the principles of deductive reasoning and in consequence with the forms (as distinct from the content) of propositions …
