Search results

{{Redirect|Logical implication|the binary connective|Material conditional}} ...provide accounts of the nature of logical consequence and the nature of [[logical truth]].<ref>[[Willard Van Orman Quine|Quine, Willard Van Orman]], ''Philos ...

{{Short description|Range of application for a quantifier or connective in a logical formula}} ...ssary link|glossary=Glossary of logic|dominant connective}} and {{glossary link|glossary=Glossary of logic|subordinate connective}} are defined in terms of ...

...cap A = A</math>. All these properties follow from analogous facts about [[logical conjunction]]. [[File:Variadic logical AND.svg|thumb|[[Logical conjunction|Conjunctions]] of the arguments in parentheses<br /><br />The c ...

...that of the details over the whole".<ref name="Piaget">{{cite book |author-link = Jean Piaget |first = Jean |last = Piaget |chapter-url = https://books.goo ...ommon ideology with Hitler. Similarly, saying "Hitler was in favor of gun control, and so are you" would have the same effect. This particular rhetorical dev ...

{{Logical connectives sidebar}} ...that is, for each [[valuation (logic)|combination of values taken by their logical variables]].<ref>{{harvnb|Enderton|2001}}</ref> In particular, truth tables ...

* [[Logical matrix#Logical vectors|Logical vector]], a vector of 0s and 1s ([[Boolean data type|Booleans]]). ...mprehensive course |publisher=Dover |year=1988 |isbn=0-486-65812-0 |author-link=Daniel Pedoe |url-access=registration}} ...

...s.<ref>IEC 61334-4-1</ref> The management interface layer provides remote control of a station's protocol layers, including diagnostics and configuration. F ...Data communication protocols – Section 32: Data link layer – Logical link control (LLC) ...

...10 July 2009|publisher=MIT Press|isbn=978-0-262-25817-3|pages=113–|author1-link=Matthias Felleisen }}</ref><ref name=":1">{{Cite web|last=Thielecke|first=H ...reports/TR202.pdf|archive-url=|archive-date=|access-date=|website=|author1-link=Matthias Felleisen }}</ref> ...

* efficient [[Logical reasoning|logical]], [[Probabilistic reasoning|probabilistic]] and ontological reasoning,<ref ...EE Symposium on Logic in Computer Science |chapter=Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications |date=201 ...

* [[supervisory control theory]] (SCT) ...known from classical [[analysis (mathematics)|analysis]] to be extended to logical functions. ...

...rd published the [[Trivers–Willard hypothesis]], that female mammals could control the [[sex ratio]] of their offspring, and that it would be evolutionally ad | last1 = Trivers | first1 = R. L. | author1-link = Robert Trivers ...

{{Short description|Logical formulation of graph properties}} ...]] of [[mathematical logic]]. There are several variations in the types of logical operation that can be used in these sentences. The first-order logic of gra ...

In mathematics, a [[logical matrix]] may be described as '''''d''-disjunct''' and/or '''''d''-separable ...n Chen |author2=Frank Hwang |date=2006-12-21 |title= Exploring the missing link among ''d''-separable, ''{{overline|d}}''-separable and ''d''-disjunct matr ...

...e or more control inputs and will output its state (often along with its [[logical complement]] too). It is the basic storage element in [[sequential logic]]. ...aking computer]]<ref>{{Citation | last = Flowers |first= Thomas H. |author-link=Tommy Flowers |url=http://www.ivorcatt.com/47c.htm | title =The Design of C ...

...aeger went to high school in [[Mülheim]], where his father {{Interlanguage link|Edwin Renatus Hasenjaeger|de|vertical-align=sup}} was a lawyer and local po ...ent, whose principal responsibility was the defensive testing and security control of their own methods and devices.<ref name="Heise" /><ref name="TuringBook" ...

...ichael | author1-link=Michael Artin | last2=Mazur | first2=Barry | author2-link=Barry Mazur | title=Etale Homotopy | publisher=[[Springer-Verlag]] | series ...lled [[étale homotopy theory]].<ref>{{Citation | last1=Friedlander |author-link=Eric Friedlander| first1=Eric M. | title=Étale homotopy of simplicial schem ...

[[File:tennis_racket_theorem.gif|thumb|upright=1.5|link={{filepath:tennis_racket_theorem.ogv}}|Composite video of a tennis racquet ...[[cosmonaut]] [[Vladimir Dzhanibekov]], who noticed one of the theorem's [[logical consequence]]s whilst in space in 1985.<ref>[http://oko-planet.su/science/s ...

...<ref name="wen">{{cite journal | last1 = Wen | first1 = Xiao-Gang | author-link = Xiao-Gang Wen | year = 1990 | title = Topological Orders in Rigid States Proving the NLTS conjecture is an [[Logical consequence|obstacle]] for resolving the qPCP conjecture, an even harder th ...

** ''[[Control-flow graph]]s'' are rooted digraphs used in computer science as a represent ...of loops at vertex ''i''. The adjacency matrix of a directed graph is a [[logical matrix]], and is ...

...to 5 other functions can also be drawn. The calculators provide options to control what appears on a graph screen including graph range and zoom functions. Cu ...ther calculators in the same series and personal computers. The device can link to another device via a SB-62 cable, a cable where both ends are 2.5&nbsp;m ...