Resultats de la cerca

[[Categoria:Sistemes 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]] ...

== Sistemes basats en lògica temporal == Alguns sistemes lògics basats en lògica temporal són: [[lògica computacional en arbre]] (''computa ...

{{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ó. ...

...ats que es poden derivar ''sobre'' els [[Llenguatge formal|llenguatges]] i sistemes que s'utilitzen per expressar veritats.<ref name=":0">Hunter, Geoffrey, ''[ ...que es coneix com a [[teoria de models]], i l'estudi dels [[Sistema formal|sistemes deductius]] és la branca que es coneix com a [[teoria de la demostració]]. ...

...cupa de demostracions formals, o més específicament de les propietats dels sistemes deductius i algunes de les seves [[metalògica|propietats metalògiques]]. Me ...ó 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 ...

...andeix el poder expressiu del llenguatge sense haver d'afegir nous símbols lògics.<ref name=SEP/> Molts sistemes matemàtics no poden ser unívocament caracteritzats per un [[llenguatge form ...

...ndancy.JPG|miniatura|Triple redundància modular. S'utilitzen tres circuits lògics idèntics (portes lògiques) per calcular la funció booleana especificada. El ...es dos sistemes poden corregir i emmascarar la fallada, (com poden fer els sistemes de [[canvi en calent]]). ...

...s vectors, espais vectorials (o espais lineals), transformacions lineals i sistemes d'equacions lineals. ...les [[equació diferencial|equacions diferencials]] que governança diversos sistemes interessants. Aquesta linealitat es troba per exemple en la teoria del pote ...

Els primers [[Sistema|sistemes]] d'axiomes coneguts són els escrits per [[Euclides]] en els seus "[[Elemen L'esperança inicial dels lògics moderns era que les diverses branques de les matemàtiques, potser totes les ...

...estreta relació entre tots dos en la majoria dels [[Sistema lògic|sistemes lògics]], incloent la [[lògica clàssica]]. Per exemple, els següents principis se Aquests principis, però, no valen en tots els sistemes lògics. Per exemple, no se sostenen en les [[Lògica no monòtones|lògiques no monòt ...

...als són part del càlcul de predicats. Més endavant s'agreguen axiomes ''no-lògics'' en teories de primer ordre específiques: no es consideren veritats de la ...a lògica (i deduir els mateixos teoremes de qualsevol conjunt d'axiomes no-lògics). ...

.../> Aquest article tracta exclusivament sobre aquest sistema formal. Altres sistemes de lògica modal coneguts són la [[lògica deòntica]], la [[lògica temporal]] ...eixen afegint axiomes a K. A continuació hi ha una taula amb els noms dels sistemes més coneguts i els seus axiomes: ...

Alguns [[Sistema lògic|sistemes lògics]] només poden tractar amb una [[teoria]] que tingui les fórmules escrites e ...

...tre els raonadors que creuen en [[Proposició (lògica)|proposicions]] i els sistemes matemàtics que demostren proposicions. Utilitzant la lògica doxàstica, es p En sistemes es defineix la reflexivitat de manera que per a qualsevol p (en el llenguat ...

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

...el seu ús en memòries flash NAND i en el disseny de [[processador]]s. Els sistemes digitals que utilitzen alguns circuits complicats aprofiten la funcionalita L'operació NAND és una [[operació lògica]] sobre dos valors lògics, típicament els valors de dues [[Proposició (lògica)|proposicions]], que pr ...

...la simplificació de moltes operacions lògiques i facilita la resolució de sistemes. [[Categoria:Sistemes lògics]] ...

...rors|correcció d'errors]] en els sistemes de comunicacions, com ara alguns sistemes de [[DOCSIS|televisió per cable]] i la [[televisió digital terrestre]]. Fins a la primera meitat dels [[anys 1940]] els circuits lògics digitals es realitzaven amb [[vàlvula termoiònica|vàlvules de buit]] i disp ...

...ebres que constitueixen la semàntica algebraica d'aquests [[Sistema formal|sistemes deductius]]) i problemes connectats com la representació i la dualitat. Res ...aula següent, la columna esquerra conté un o més sistemes [[Sistema formal|lògics]] o matemàtics i l'estructura algebraica que en són els models es mostra a ...