19 les relacions: Condició matemàtica, Condicional, Condicional material, Conjunció lògica, Disjunció, Enunciat, Fórmula (lògica), Funció de veritat, Lògica, Lògica proposicional, Porta lògica, Porta NAND, Porta XOR, Principi de no contradicció, Proposició (lògica), Si i només si, Taula de veritat, Tautologia (lògica), Valor veritable.
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!!: Connectiva lògica і Condició matemàtica · Veure més »
Condicional
En lingüística, el condicional és un mode del verb en el qual les frases fan referència a situacions, fets o accions hipotètiques o possibles, i que depèn d'accions o circumstàncies passades.
Nou!!: Connectiva lògica і Condicional · Veure més »
Condicional material
El condicional material, també conegut com a implicació material, condicional funcional de veritat o simplement condicional, és una constant lògica que connecta dues proposicions.
Nou!!: Connectiva lògica і Condicional material · Veure més »
Conjunció lògica
AND En matemàtiques, una conjunció lògica és un operador lògic que resulta veritable si els dos operadors són veritables.
Nou!!: Connectiva lògica і Conjunció lògica · Veure més »
Disjunció
Diagrama de Venn de~A \lor B En lògica i matemàtiques una disjunció o disjunció lògica és un connector lògic que consisteix a presentar dues alternatives en una mateixa proposició o frase, i per tant dona com a resultat verdader si una de les dues alternatives és verdadera.
Nou!!: Connectiva lògica і Disjunció · Veure més »
Enunciat
Un enunciat és una seqüència aïllada de paraules que tenen sentit complet i que va emmarcades per pauses en la parla i per determinats signes de puntuació (punt, signe d'exclamació i signe d'interrogació) en l'escriptura.
Nou!!: Connectiva lògica і Enunciat · Veure més »
Fórmula (lògica)
En lògica matemàtica, una fórmula és un objecte sintàctic formal que expressa una proposició.
Nou!!: Connectiva lògica і Fórmula (lògica) · Veure més »
Funció de veritat
En lògica matemàtica, una funció de veritat és una funció que pren un conjunt de valors de veritat i torna un valor de veritat.
Nou!!: Connectiva lògica і Funció de veritat · 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!!: Connectiva lògica і Lògica · 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!!: Connectiva lògica і Lògica proposicional · Veure més »
Porta lògica
Porta lògica I (AND) utilitzant un relé. Una porta lògica és un component electrònic que es pot utilitzar per conduir l'electricitat basada en una regla.
Nou!!: Connectiva lògica і Porta lògica · Veure més »
Porta NAND
El xip TTL 7400 chip,conté quatre NANDs. Un dels dos pins addicionals està connectat a alimentació (+5 V) i l'altre a massa. L'operació NAND, representada per "|" o "↑", en les funcions booleanes o càlcul proposicional, representa una operació lògica equivalent a la negació de la conjunció, expressat en llenguatge informal com a "no ambdós".
Nou!!: Connectiva lògica і Porta NAND · Veure més »
Porta XOR
Una porta XOR és una porta lògica digital que implementa la disjunció exclusiva lògica, és a dir, es comporta segons la taula de la dreta.
Nou!!: Connectiva lògica і Porta XOR · Veure més »
Principi de no contradicció
El principi de no contradicció, proposat i formalitzat per Aristòtil, o de vegades anomenat principi de contradicció, és un principi clàssic de la lògica i la filosofia, segons el qual una proposició i la seva negació no poden ser totes dues veritables al mateix temps i en el mateix sentit.
Nou!!: Connectiva lògica і Principi de no contradicció · 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!!: Connectiva lògica і Proposició (lògica) · Veure més »
Si i només si
Símbols lògicsper a representarsii.
Nou!!: Connectiva lògica і Si i només si · 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!!: Connectiva lògica і 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!!: Connectiva lògica і Tautologia (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!!: Connectiva lògica і Valor veritable · Veure més »