Resultats de la cerca

...ath>''A'' si i només si no hi ha cap ''substitució uniforme'' de termes no lògics en Γ/''A'' que doni lloc a un argument amb premisses vertaderes i conclusió ...</math>''A'' si i només si no hi ha cap manera d'interpretar els termes no lògics de Γ/''A'' de manera que en resulti un argument amb premisses vertaderes i ...

...àtic particular, és a dir, una col·lecció de variables, constants, símbols lògics, símbols de funció i símbols de relació, on cadascun dels símbols de funció ...

== Circuits lògics reversibles == ...

* LÒGICS (booleans) ...podem definir com dades comparatives aquesta comparació retorna resultats lògics. ...

...pot requerir la consideració del temps finit necessari perquè els elements lògics pràctics reaccionin als canvis en les seves entrades. Quan una sortida és e * [[Lògica|Lògics]] ...

...seguir el voltatge de sortida correcte. En diagrames de circuits integrats lògics, la potència no es mostra, però en un esquemàtic de circuits electrònics co .../studies.ac.upc.edu/FIB/IC/pla91/PLA91/DOCUMENTACIO/Tcomb.pdf Els circuits lògics combinacionals]'' {{PDF}} ...

...math> \langle XZZXI, IXZZX, XIXZZ,ZXIXZ \rangle</math>. Els seus operadors lògics són <math>\bar{X} = XXXXX </math> i <math>\bar{Z} = ZZZZZ</math>. Un cop co ...

{{mida|250%|≡}}<div style="line-height: 120%; text-align: left">Símbols lògics<br/>per a representar<br/>'''sii'''.</div></div> En les ''[[fórmula (lògica)|fórmules lògiques]]'', els símbols lògics s'utilitzen en lloc d'aquestes frases; vegeu la discussió sobre la notació. ...

Amb [[operador lògic|operadors lògics]], això s'expressa: ...

[[Categoria:Sistemes lògics]] ...

Alguns sistemes lògics basats en lògica temporal són: [[lògica computacional en arbre]] (''computa ...ttp://plato.stanford.edu/entries/logic-temporal/ Stanford]). Els operadors lògics són normalment operadors de funcions de veritat (''[[truth-functional]]'': ...

En termes lògics representa la següent implicació: ...

L'esperança inicial dels lògics moderns era que les diverses branques de les matemàtiques, potser totes les ...llavors A, és veritat independentment que què siguin A i B. Els axiomes no lògics defineixen propietats per una teoria matemàtica específica, per exemple a * ...

...et que les seves transicions ràpides són adequades per a accionar circuits lògics síncrons en precisos intervals de temps. ...

...ó que es satisfà en tots els models és una proposició vàlida, els sistemes lògics estan construïts de tal manera que tota proposició deduïble de la teoria si ...

...nversa és vertadera si i només si la convertida també ho és, per tant, els lògics moderns consideren que aquesta operació no és tal, sinó una '' inferència i ...

...andeix el poder expressiu del llenguatge sense haver d'afegir nous símbols lògics.<ref name=SEP/> [[Categoria:Sistemes lògics]] ...

...e calor, pressió i un catalitzador. Ja havia provat tots els catalitzadors lògics (per exemple, aquelles que catalitzen la síntesi de [[diamant]]), però sens ...

...t quàntic|punts quàntics]]. Per als qubits superconductors, els dos estats lògics són l'[[estat fonamental]] i l'[[estat excitat]], denotats <math>|g\rangle ...a qualsevol implementació de qubit, els [[Estat quàntic|estats quàntics]] lògics <math>\{|0\rangle,|1\rangle\}</math> es [[Aplicació|mapegen]] a diferents e ...

Per a un valor digital VAL, d'un DAC R–2R amb ''N'' bits i nivells lògics de 0 V/V_ref, la tensió de sortida ''V''_out és: <ref>{ ...