Resultats de la cerca

En [[lògica matemàtica]], una '''asserció lògica''' és una afirmació que assevera que una [[premissa]] és veritable.<ref>{{R * [[Condició matemàtica|Condició]] ...

...lògica matemàtica]], una '''clàusula''' és una [[disjunció]] de [[Literal (lògica)|literals]].<ref>{{ref-llibre|cognom=Chang|nom=Chin-Liang|títol=Symbolic Lo Anàlogament, s'anomena '''clàusula conjuntiva''' a una [[Conjunció lògica|conjunció]] de literals: ...

...ció matemàtica]] on la conclusió està establerta a través de la combinació lògica dels [[Axioma|axiomes]], definicions o [[Teorema|teoremes]] ja existents.<r [[Categoria:Lògica matemàtica]] ...

...univers o domini de referència]], que està format per totes les [[Constant matemàtica |constants]].<ref>{{Ref-llibre |títol = Diccionario de Filosofía|llengua = * [[Lògica de primer ordre]] ...

El '''principi d'identitat''' és un principi clàssic de la [[lògica]] i la [[filosofia]], segons el qual tota entitat és [[Identitat (filosofia A [[lògica de primer ordre]] amb identitat, el principi d'identitat s'expressa: ...

...formal]] en qüestió, però una definició bastant típica (específica a la [[lògica de primer ordre]]) és la següent: les fórmules es defineixen en relació a u [[Categoria:Lògica]] ...

...'''{{mida|140%| ⊻}}''' o '''{{mida|180%| ⊕}}''' és un tipus de [[disjunció lògica]] de dos operands que és veritat si només un operand és veritat però no amb ...>\wedge</math>), [[disjunció lògica]] (<math>\lor </math>), i [[Connectiva lògica | negació]] (<math>\lnot</math>) de la següent manera: ...

...nivers o domini de referència]], en el qual apareixen totes les [[Constant matemàtica|constants]].<ref>{{Ref-llibre |títol = Diccionario de Filosofía|llengua = c * [[Lògica de primer ordre]] ...

...altres [[Àlgebra de Boole|operadors booleans]] permesos són la [[Conjunció lògica|conjunció]] (<math>\land</math>, {{smallcaps|and}}) i la [[disjunció]] (<ma En lògica clàssica i el moltes [[Lògica modal|lògiques modals]], tota fórmula pot transformar-se en aquesta forma, ...

...algoritme]] per al problema d'insatisfacció de [[Lògica de primer ordre|la lògica de primer ordre]], proporcionant un mètode més pràctic que un que segueix e ...stració "a demanda" tan lluny com era necessari per mantenir [[completesa (lògica)|la refutació completa]].<ref>{{Ref-web|url=https://ocw.mit.edu/courses/6-8 ...

...ional. La versió de dues entrades implementa [[Igualtat lògica|la igualtat lògica]], comportant-se segons la taula de veritat de la dreta i, per tant, la por [[Categoria:Lògica computacional]] ...

...implificar la lògica en les sentències matemàtiques. No és molt usat en la matemàtica convencional, però sí que ho és en les [[informàtica|ciències de la computa [[Categoria:Notació matemàtica|Polonesa]] ...

...]] té '''forma prenexa''' si està escrita com a cadena de [[Quantificador (lògica)|quantificadors]] seguits per una part sense quantificar (anomenada '''matr ...nen de quina [[connectiva lògica]] (o connectives) i quin [[Quantificador (lògica)|quantificador]] (o quantificadors) apareguin a la fórmula. ...

...ògiques''' són les eines que permeten construir [[enunciat]]s o [[Fórmula (lògica)|fórmules]] a partir dels [[àtom lògic|àtoms]]. Les més conegudes són ''no, rect 3 162 398 199 [[Conjunció lògica|A and B]] ...

...el que volem provar, i aleshores arribant a una contradicció. En la lògica matemàtica, la prova de reducció a l'absurd es representa com: ...el conjunt d'[[axioma|axiomes]] donats com a certs i ''F'' la contradicció lògica. ...

En lògica, un '''concepte primitiu''', '''concepte bàsic''', '''concepte fonamental'' * [[Fonaments de la matemàtica]] ...

...principi''' és un [[principi (lògica)|principi]] bàsic, una [[proposició (lògica)|proposició]] [[fonament]]al que per això no admet [[demostració]] a partir En [[matemàtica]] i altres [[context]]s, el primer principi rep el nom d'[[axioma]] o [[pos ...

...''' és un procés algorítmic de [[resolució d'equacions]] entre [[expressió matemàtica|expressions]] simbòliques, cadascuna de la forma ''Left-hand side = Right-h ...ucció beta. Aquesta versió s'utilitza en assistents de prova i programació lògica d'ordre superior, per exemple [[Isabelle]], [[Twelf]] i [[ΛProlog|lambdaPro ...

...(FNC)''' si correspon a una [[conjunció lògica|conjunció]] de [[Clàusula (lògica)|clàusules]], on una clàusula és una [[disjunció]] de [[Literal (lógica)|li ...FNC són la [[conjunció lògica|conjunció]], la [[disjunció]] i la [[Negació lògica|negació]]. L'operador negació només pot aplicar-se a un literal, i no a una ...

...postuli l'existència d'un segon conjunt (com passa en [[lògica matemàtica|lògica]], on l'existència d'almenys un objecte de vegades està garantit) CB es tor ...