9 les relacions: Alonzo Church, Connectiva lògica, Denotació, Funció, Funció booleana, Lògica clàssica, Lògica matemàtica, Taula de veritat, Valor veritable.
Alonzo Church
fou un matemàtic americà i lògic que va fer importants contribucions a la lògica matemàtica i als fonaments la informàtica teòrica.
Nou!!: Funció de veritat і Alonzo Church · 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!!: Funció de veritat і Connectiva lògica · Veure més »
Denotació
La denotació és el significat objectiu d'un mot o expressió, aquell que la majoria de parlants d'una llengua li atorguen per convenció i que es recull en obres normatives com els diccionaris.
Nou!!: Funció de veritat і Denotació · Veure més »
Funció
parells ordenats (''x'',''f''(''x'')). En matemàtiques, una funció és la idealització de com una quantitat variable depèn d'una altra quantitat.
Nou!!: Funció de veritat і Funció · Veure més »
Funció booleana
Es denomina funció lògica o booleana aquella funció matemàtica les variables de la qual són binàries i el resultat es calcula aplicant-los els operadors de l'àlgebra de Boole: les portes lògiques, porta O (OR), suma lògica (+), porta I (AND), producte lògic (·) o negació (NOT).
Nou!!: Funció de veritat і Funció booleana · Veure més »
Lògica clàssica
La lògica clàssica o lògica estàndard és la classe de lògica intensament estudiada i més àmpliament utilitzada.
Nou!!: Funció de veritat і Lògica clàssica · Veure més »
Lògica matemàtica
La lògica matemàtica és la disciplina inclosa en la matemàtica que estudia els sistemes formals en relació amb la manera en què aquests codifiquen els conceptes intuïtius de demostració matemàtica i computació com una part dels fonaments de la matemàtica.
Nou!!: Funció de veritat і Lògica matemàtica · Veure més »
Taula de veritat
La taula de valors de veritat, també coneguda com a taula de veritat, és una eina desenvolupada per Charles Peirce en la dècada del 1880, sent no obstant això més popular el format que Ludwig Wittgenstein va desenvolupar en el seu Tractatus logico-philosophicus, publicat en 1921.
Nou!!: Funció de veritat і Taula de veritat · Veure més »
Valor veritable
En lògica, un valor veritable és un valor que indica en quina mesura una declaració és veritat.