Accés més ràpid que el navegador!
23 les relacions: Algorisme, Augustus De Morgan, Condició matemàtica, Funció booleana, Idioma, Inferència, Lògica, Lògica de classes, Lògica proposicional, Lleis de De Morgan, Llenguatge formalitzat, Metallenguatge, Neopositivisme, Pegàs (mitologia), Proposició (lògica), Raonament deductiu, Símbol, Sil·logisme, Taula de veritat, Tautologia (lògica), Teoria de conjunts, Validesa lògica, Variable (matemàtiques).
Algorisme
nombres primers Un algorisme (o, alternativament, algoritme) és un conjunt finit d'instruccions o passos que serveixen per a executar una tasca o resoldre un problema.
Nou!!: Càlcul lògic і Algorisme · Veure més »
Augustus De Morgan
fou un matemàtic i lògic britànic.
Nou!!: Càlcul lògic і Augustus De Morgan · Veure més »
Condició matemàtica
Una condició, en lògica matemàtica, és una relació que mantenen dues proposicions o estat de les coses, o entre una i part o tot el seu medi, entorn o frontera.
Nou!!: Càlcul lògic і Condició matemàtica · 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!!: Càlcul lògic і Funció booleana · Veure més »
Idioma
família a la qual pertanyen. Una llengua o idioma és un sistema de comunicació (verbal o per senyals) propi d'una comunitat humana.
Nou!!: Càlcul lògic і Idioma · Veure més »
Inferència
La inferència és l'acte o el procés en què hom deriva una conclusió a partir d'unes premisses.
Nou!!: Càlcul lògic і Inferència · 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!!: Càlcul lògic і Lògica · Veure més »
Lògica de classes
La lògica de classes considera la proposició considerant la pertinença o no pertinença d'un element o individu a una determinada classe.
Nou!!: Càlcul lògic і Lògica de classes · Veure més »
Lògica proposicional
La lògica proposicional és una branca de la lògica clàssica que estudia les proposicions o sentències lògiques, les seves possibles avaluacions de veritat i, en el cas ideal, el seu nivell absolut de veritat.
Nou!!: Càlcul lògic і Lògica proposicional · Veure més »
Lleis de De Morgan
Representació gràfica de les lleis de De Morgan Les lleis de De Morgan són una part de la lògica proposicional i analítica, i va ser creada per Augustus De Morgan (Madurai, 1806 - Londres, 1871).
Nou!!: Càlcul lògic і Lleis de De Morgan · Veure més »
Llenguatge formalitzat
Una de les característiques essencials de la ciència és el llenguatge formalitzat o, més ben dit, el procés de formalització del llenguatge.
Nou!!: Càlcul lògic і Llenguatge formalitzat · Veure més »
Metallenguatge
Dins l'entorn de la lògica i filosofia del llenguatge, un metallenguatge és un llenguatge que s'usa per parlar sobre un altre llenguatge.
Nou!!: Càlcul lògic і Metallenguatge · Veure més »
Neopositivisme
El neopositivisme és la visió filosòfica nascuda de l'empirisme modern en l'experiència del Cercle de Viena, els membres més representatius, durant les persecucions antisemites a Europa, van emigrar als Estats Units i a Anglaterra, on van desenvolupar les seves idees.
Nou!!: Càlcul lògic і Neopositivisme · Veure més »
Pegàs (mitologia)
En la mitologia grega, Pegàs, Pegas o Pègasos (en Πήγασος, Pégasos) era el cavall alat nascut del coll tallat de la Medusa, i aquí es relaciona amb el mite de Perseu.
Nou!!: Càlcul lògic і Pegàs (mitologia) · 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!!: Càlcul lògic і Proposició (lògica) · Veure més »
Raonament deductiu
El raonament deductiu, deducció o mètode lògic deductiu és un mètode lògic que, a diferència del raonament o mètode inductiu, es basa en què la conclusió és implícita a les premisses.
Nou!!: Càlcul lògic і Raonament deductiu · Veure més »
Símbol
Portar cintes de diversos colors és una acció simbòlica que mostra suport per a determinades campanyes Un símbol és una representació d'una idea, de manera que aquesta pugui ser percebuda per algun dels sentits; és una realitat que n'evoca d'altres en la nostra ment mitjançant algun procediment d'analogia.
Nou!!: Càlcul lògic і Símbol · Veure més »
Sil·logisme
Aristòtil. Museu del Louvre El sil·logisme és un mètode lògic creat per Aristòtil, a través del qual s'obté una conclusió mitjançant dues premisses: premissa major, que inclou el seu predicat (P), i premissa menor, que inclou el seu subjecte (S).
Nou!!: Càlcul lògic і Sil·logisme · 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!!: Càlcul lògic і Taula de veritat · Veure més »
Tautologia (lògica)
La tautologia (del grec: ταυτολογία) és una fórmula proposicional que és verdadera sigui quin sigui el valor de veritat assignat als seus components proposicionals elementals.
Nou!!: Càlcul lògic і Tautologia (lògica) · Veure més »
Teoria de conjunts
La teoria de conjunts és la branca de les matemàtiques que estudia els conjunts.
Nou!!: Càlcul lògic і 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!!: Càlcul lògic і Validesa lògica · Veure més »
Variable (matemàtiques)
Una variable és un valor que pot canviar dins de l'àmbit d'un problema o conjunt d'operacions.
Nou!!: Càlcul lògic і Variable (matemàtiques) · Veure més »
