-
1 logically valid
Большой англо-русский и русско-английский словарь > logically valid
-
2 logically valid
Математика: логически истинный -
3 logically valid
-
4 logically valid
мат. -
5 logically valid formula
Математика: логически общезначимая формулаУниверсальный англо-русский словарь > logically valid formula
-
6 logically valid sentence
Математика: логически общезначимое предложениеУниверсальный англо-русский словарь > logically valid sentence
-
7 logically valid formula
English-Russian scientific dictionary > logically valid formula
-
8 logically valid sentence
English-Russian scientific dictionary > logically valid sentence
-
9 logically valid formula
Англо-русский словарь по исследованиям и ноу-хау > logically valid formula
-
10 logically valid sentence
Англо-русский словарь по исследованиям и ноу-хау > logically valid sentence
-
11 logically
1) логично
2) логически
3) последовательно ∙ logically consistent data ≈ логически непротиворечивые данные logically constructed relation ≈ логически построенное соотношение logically defined class ≈ логически определенный класс logically determinate event ≈ логически определенное событие logically determinate formula ≈ логически определенная формула logically equivalent circuits ≈ логически эквивалентные схемы logically equivalent propositions ≈ логически эквивалентные высказывания logically equivalent statements ≈ логически эквивалентные высказывания logically false expression ≈ логически ложное выражение logically indeterminate event ≈ логически неопределенное событие logically irreducible relation ≈ логически неприводимое соотношение logically necessary hypothesis ≈ логически необходимая гипотеза logically related events ≈ логически связанные события logically true expression ≈ логически истинное выражение logically true sentence ≈ логически истинное предложение logically true statement ≈ логически истинное высказывание logically universal sentence ≈ логически универсальное предложение logically valid formula ≈ логически общезначимая формула logically valid sentence ≈ логически общезначимое предложение - logically absurd - logically complex - logically conclusive - logically consistent - logically contradictory - logically correct - logically defined - logically dependent - logically determinate - logically equivalent - logically exhaustive - logically false - logically imply - logically impossible - logically inconsistent - logically independent - logically indeterminate - logically justifiable - logically necessary - logically true - logically universal - logically valid - multiply logically логично;
логически логически рассуждая - *, one should become wiser with experience but some people never do по логике, нам следовало бы становиться умнее с годами, но некоторым из нас это не удаетсяБольшой англо-русский и русско-английский словарь > logically
-
12 valid
1) адекватный; верный2) годный3) действительный; законный; имеющий силу4) обоснованный; справедливый5) общезначимый6) применимый•to hold valid — матем. сохранять силу; оставаться действительным
set valid in realization — множество, общезначимое в реализации
-
13 valid
вчт1) допустимый; законный; справедливый; правильный2) истинный; верный3) обоснованный; достоверный•- asymptotically validto remain valid — оставаться справедливым; сохранять силу
- logically valid
- statistically valid
- strongly valid -
14 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
15 sentence
1) высказывание; предложение; фраза2) суждение•- almost false sentence - almost true sentence - analytically expressible sentence - arithmetically expressible sentence - logically universal sentence - logically valid sentence -
16 логически истинный
Большой англо-русский и русско-английский словарь > логически истинный
-
17 expression
-
18 unsound
adjective1) (diseased) nicht gesund; krank2) (defective) baufällig [Gebäude]3) (ill-founded) wenig stichhaltig; anfechtbar [Gesetz]; nicht vertretbar [Ansichten, Methoden]4) (unreliable) unzuverlässigthe firm is financially unsound — die Firma steht finanziell auf schwachen Füßen
5)* * *un·sound[ʌnˈsaʊnd]your theory is logically \unsound deine Theorie ist logisch nicht folgerichtig\unsound police evidence nicht stichhaltiges polizeiliches Beweismaterial3. (unreliable) person unsolide, unzuverlässigthe construction firm was accused of \unsound building practices man hat das Bauunternehmen beschuldigt, unsolide zu bauen4. (unhealthy) ungesundhis kidney function is \unsound seine Nieren arbeiten nicht richtigto be of \unsound mind unzurechnungsfähig sein* * *[ʌn'saʊnd]adj1) heart, teeth krank; health, gums angegriffen; floorboards, timber morsch; construction, design unsolide; foundations, finances unsicher, schwachthe ship was quite unsound — das Schiff war überhaupt nicht seetüchtig
2) argument nicht stichhaltig, anfechtbar; advice unvernünftig; judgement unzuverlässig; doctrine unvertretbar; policy, move unklug; (JUR) conviction ungesichertpolitically unsound (person) — politisch unzuverlässig; policy politisch unklug
ideologically/ecologically unsound — ideologisch/ökologisch nicht vertretbar
our financial position is unsound —
I'm unsound on French grammar — ich bin unsicher in französischer Grammatik
the book is unsound on some points — das Buch weist an einigen Stellen Schwächen auf
* * *unsound adj (adv unsoundly)3. morsch, wurmstichig4. brüchig, rissig5. fig unsicher, zweifelhaft8. anfechtbar (Argument etc)9. fig falsch, verkehrt:unsound doctrine Irrlehre f;unsound policy verfehlte Politik* * *adjective1) (diseased) nicht gesund; krank2) (defective) baufällig [Gebäude]3) (ill-founded) wenig stichhaltig; anfechtbar [Gesetz]; nicht vertretbar [Ansichten, Methoden]4) (unreliable) unzuverlässig5)* * *adj.ungesund adj.unzuverlässig adj. -
19 unsound
your theory is logically \unsound deine Theorie ist logisch nicht folgerichtig;\unsound police evidence nicht stichhaltiges polizeiliches Beweismaterialthe construction firm was accused of \unsound building practices man hat das Bauunternehmen beschuldigt, unsolide zu bauen4) ( unhealthy) ungesund;his kidney function is \unsound seine Nieren arbeiten nicht richtig;to be of \unsound mind unzurechnungsfähig sein -
20 statement
1) высказывание; утверждение2) предложение3) констатация4) описание5) положение6) постановка ( задачи)7) формулировка8) отчёт; бюллетень9) мат. оператор•- truth statementneither statement is true — ни то, ни другое утверждение неверно
См. также в других словарях:
valid — adj. 1 legally acceptable VERBS ▪ be ▪ become ▪ remain, stay ▪ deem sth, hold sth ▪ … Collocations dictionary
valid — adjective Etymology: Middle French or Medieval Latin; Middle French valide, from Medieval Latin validus, from Latin, strong, potent, from valēre Date: 1571 1. having legal efficacy or force; especially executed with the proper legal authority and … New Collegiate Dictionary
logically — adv. Logically is used with these adjectives: ↑coherent, ↑compatible, ↑compelling, ↑consistent, ↑equivalent, ↑impossible, ↑incompatible, ↑inconsistent, ↑independent, ↑necessary, ↑ … Collocations dictionary
Entailment — For other uses, see Entail (disambiguation). In logic, entailment is a relation between a set of sentences (e.g.,[1] meaningfully declarative sentences or truthbearers) and a sentence. Let Γ be a set of one or more sentences; let S1 be the… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Problem of evil — Part of a series on God General conceptions … Wikipedia
Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until … Wikipedia
Rationality — as a term is related to the idea of reason, a word which following Webster s may be derived as much from older terms referring to thinking itself as from giving an account or an explanation. This lends the term a dual aspect. One aspect… … Wikipedia
Argumentation theory — Argumentation theory, or argumentation, embraces the arts and sciences of civil debate, dialogue, conversation, and persuasion; studying rules of inference, logic, and procedural rules in both artificial and real world settings. Argumentation is… … Wikipedia
