decision
determination conclusion | the act of making up your mind about something, the burden of decision was his, he drew his conclusions quickly |
termination
ending
conclusion | the act of ending something, the termination of the agreement |
logic programming
logic programing | creating a program that enables the computer to reason logically |
finding of law
conclusion of law | a finding as to the applicability of a rule of law to particular facts |
dinner dress
dinner gown
formal
evening gown | a gown for evening wear |
| formal garden | a garden laid out on regular lines with plants arranged in symmetrical locations or in geometrical designs |
| gate logic gate | a computer circuit with several inputs but only one output that can be activated by particular combinations of inputs |
| logic element | an electronic device that performs an elementary logic operation |
certainty
sure thing
foregone conclusion | something that is certain, his victory is a certainty |
| logic | reasoned and reasonable judgment, it made a certain kind of logic |
logic logical system
system of logic | a system of reasoning |
| Aristotelian logic | the syllogistic logic of Aristotle as developed by Boethius in the Middle Ages |
| conclusion | an intuitive assumption, jump to a conclusion |
decision
determination
conclusion | a position or opinion or judgment reached after consideration, a decision unfavorable to the opposition, his conclusion took the evidence into account, satisfied with the panel's determination |
| logic | the principles that guide reasoning within a given field or situation, economic logic requires it, by the logic of war |
| logic | the system of operations performed by a computer that underlies the machine's representation of logical operations |
| logic | the branch of philosophy that analyzes inference |
symbolic logic
mathematical logic
formal logic | any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity |
Boolean logic
Boolean algebra | a system of symbolic logic devised by George Boole, used in computers |
propositional logic
propositional calculus | a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them |
| modal logic | a system of logic whose formal properties resemble certain moral and epistemological concepts |
| alethic logic | the modal logic of necessity and possibility and contingency |
| deontic logic | the modal logic of obligation and permissibility |
| epistemic logic | the modal logic of knowledge and uncertainty and ignorance |
| doxastic logic | the modal logic of belief and disbelief |
| fuzzy logic | a form of mathematical logic in which truth can assume a continuum of values between
and |
| modal logic | the logical study of necessity and possibility |
| formal semantics | the branch of semantics that studies the logical aspects of meaning |
conclusion
end
close
closing
ending | the last section of a communication, in conclusion I want to say... |
logic diagram
logical diagram | a graphical representation of a program using formal logic |
logic bomb
slag code | a set of instructions inserted into a program that are designed to execute (or `explode') if a particular condition is satisfied, when exploded it may delete or corrupt data, or print a spurious message, or have other harmful effects, a disgruntled employee planted a logic bomb |
| conclusion ratiocination | the proposition arrived at by logical reasoning (such as the proposition that must follow from the major and minor premises of a syllogism) |
Prolog
logic programing
logic programming | a computer language designed in Europe to support natural language processing |
| conclusion | a final settlement, the conclusion of a business deal, the conclusion of the peace treaty |
ending
conclusion
finish | event whose occurrence ends something, his death marked the ending of an era, when these final episodes are broadcast it will be the finish of the show |
foregone conclusion
matter of course | an inevitable ending |
ball
formal | a lavish dance requiring formal attire |
logic operation
logical operation | an operation that follows the rules of symbolic logic |
stopping point
finale
finis
finish
last
conclusion
close | the temporal end, the concluding time, the stopping point of each round was signaled by a bell, the market was up at the finish, they were playing better at the close of the season |
courtly
formal
stately | refined or imposing in manner or appearance, befitting a royal court, a courtly gentleman |
| formal | being in accord with established forms and conventions and requirements (as e.g. of formal dress), pay one's formal respects, formal dress, a formal ball, the requirement was only formal and often ignored, a formal education |
semiformal
semi-formal
black-tie | moderately formal, requiring a dinner jacket, he wore semiformal attire, a black-tie dinner |
| formal | (of spoken and written language) adhering to traditional standards of correctness and without casual, contracted, and colloquial forms, the paper was written in formal English |
| formal | logically deductive, formal proof |
| formal | characteristic of or befitting a person in authority, formal duties, an official banquet |
conventional
formal
schematic | represented in simplified or symbolic form |
last lastly
in conclusion
finally | the item at the end, last, I'll discuss family values |