Accés més ràpid que el navegador!
18 les relacions: Afirmació del conseqüent, Connectiva lògica, Forma lògica, Identitat (filosofia), Interpretació (lògica), Lògica, Lògica deòntica, Lògica modal, Lògica temporal, Llenguatge formal, Proposició (lògica), Quantificador (lògica), Semàntica formal, Temps, Teoria de conjunts, Validesa lògica, Valor veritable, Veritat.
Afirmació del conseqüent
L'afirmació del conseqüent és una fal·làcia deductiva, molt semblant al modus ponens, la qual és correcte.
Nou!!: Constant lògica і Afirmació del conseqüent · Veure més »
Connectiva lògica
En lògica, les connectives lògiques són les eines que permeten construir enunciats o fórmules a partir dels àtoms.
Nou!!: Constant lògica і Connectiva lògica · Veure més »
Forma lògica
La forma lògica d'una proposició és la representació del seu contingut i sintaxi usant les eines de la lògica, en particular el simbolisme del càlcul proposicional i el càlcul de predicats.
Nou!!: Constant lògica і Forma lògica · Veure més »
Identitat (filosofia)
En filosofia la identitat és la relació que tota entitat manté només amb si mateixa.
Nou!!: Constant lògica і Identitat (filosofia) · Veure més »
Interpretació (lògica)
En lògica, una interpretació és una assignació de significats a les fórmules ben formades d'un llenguatge formal.
Nou!!: Constant lògica і Interpretació (lògica) · Veure més »
Lògica
Aplicació lògica La lògica és l'estudi dels sistemes de raonament que un ésser racional podria utilitzar per raonar.
Nou!!: Constant lògica і Lògica · Veure més »
Lògica deòntica
Giotto di Bondone (1267-1337), Capella Scrovegni a Padova, Itàlia La lògica deòntica és un tipus de lògica modal utilitzada per analitzar formalment les normes o les proposicions que tracten sobre les normes.
Nou!!: Constant lògica і Lògica deòntica · Veure més »
Lògica modal
La lògica modal és un sistema formal que intenta capturar el comportament deductiu d'algun grup d'operadors modals.
Nou!!: Constant lògica і Lògica modal · Veure més »
Lògica temporal
La lògica temporal és un tipus de lògica modal usada per a descriure un sistema de regles i simbolismes per a la representació i el raonament sobre proposicions en les quals té presència el factor temps.
Nou!!: Constant lògica і Lògica temporal · Veure més »
Llenguatge formal
teoremes. En alguns sistemes formals, però, el conjunt dels teoremes coincideix amb el de les fórmules ben formades. A matemàtiques, lògica, i ciències de la computació, un llenguatge formal és un llenguatge on els símbols primitius i regles per a unir aquests símbols estan formalment especificats.
Nou!!: Constant lògica і Llenguatge formal · Veure més »
Proposició (lògica)
Una proposició és un conjunt de paraules amb sentit, si bé el terme al·ludeix a realitats diferents segons l'escola d'estudiosos que se segueixi.
Nou!!: Constant lògica і Proposició (lògica) · Veure més »
Quantificador (lògica)
A lògica i teoria de conjunts, un quantificador s'utilitza per indicar quants elements d'un conjunt donat compleixen amb certa propietat.
Nou!!: Constant lògica і Quantificador (lògica) · Veure més »
Semàntica formal
La semàntica formal és l'estudi de les interpretacions dels llenguatges formals.
Nou!!: Constant lògica і Semàntica formal · Veure més »
Temps
Deu segons en un rellotge ''Montinari Milano'' El temps és un concepte físic que tots experimentem quotidianament, però que resulta difícil de definir formalment.
Nou!!: Constant lògica і Temps · Veure més »
Teoria de conjunts
La teoria de conjunts és la branca de les matemàtiques que estudia els conjunts.
Nou!!: Constant lògica і Teoria de conjunts · Veure més »
Validesa lògica
De manera general es diu que quelcom té validesa perquè té, i se li reconeix, la qualitat de posseir un valor determinat, o bé la capacitat o eficàcia per realitzar el valor que se suposa ha de tenir.
Nou!!: Constant lògica і Validesa lògica · Veure més »
Valor veritable
En lògica, un valor veritable és un valor que indica en quina mesura una declaració és veritat.
Nou!!: Constant lògica і Valor veritable · Veure més »
Veritat
El concepte de veritat varia segons l'època o escola teòrica.
Nou!!: Constant lògica і Veritat · Veure més »
