Resultados da procura
Saltar á navegación
Saltar á procura
O título da páxina coincide
- ...ca|lugar=Buenos Aires|editorial=Eudeba}}</ref> Se o argumento é [[Validez (lóxica)|válido]], as premisas implican a conclusión. No entanto, para que unha pro ...que son [[Verdade|verdadeiras]] (é dicir, que o argumento é [[Corrección (lóxica)|correcto]] ou [[Convición|convincente]]).<ref name="Cambridge">{{Cita enci ...3 kB (463 palabras) - 29 de decembro de 2024 ás 08:49
- A '''lóxica matemática''' é unha disciplina relacionada coa [[lóxica]] e a [[matemática]], que estuda os [[sistema formal|sistemas formais]] en ...]] e [[teoría da computabilidade|teoría da recursión]]. A investigación en lóxica matemática xogou un papel fundamental no estudo dos fundamentos das matemát ...7 kB (1.178 palabras) - 29 de xullo de 2024 ás 11:31
- ...ada''' (abreviada en inglés '''wff''', moitas veces simplemente '''fórmula lóxica''', é unha [[Sucesión (matemáticas)|secuencia]] finita de símbolos dun alfa ...ión]]. Dous usos clave das fórmulas lóxicas son a lóxica proposicional e a lóxica de predicados. ...11 kB (1.654 palabras) - 29 de decembro de 2024 ás 20:33
- ...ción de [[Proposición (lóxica)|proposicións]] atómicas usando [[conectiva lóxica|conectivos lóxicos]] e un sistema de regras de derivacións, que permite que ...ia]] específica, que se pretende interpretar como a noción de equivalencia lóxica, no espazo das expresións. ...25 kB (4.196 palabras) - 29 de xaneiro de 2025 ás 15:29
- ...se trata como unha constante lóxica en moitos [[sistema formal|sistemas de lóxica.]] ...e característica especial de certas constantes fai que sexan de natureza ''lóxica''? ...3 kB (444 palabras) - 29 de decembro de 2024 ás 20:53
- ...mula ben formada]] que resulta verdadeira baixo calquera [[Interpretación (lóxica)|interpretación]]; é dicir, para calquera asignación de [[Valor de verdade| ...]] [[Ludwig Wittgenstein]] foi o primeiro en aplicar o concepto ao eido da lóxica proposicional no [[1921]], tomándoo da [[retórica]], onde unha tautoloxía é ...6 kB (916 palabras) - 29 de febreiro de 2024 ás 19:37
- En [[Lóxica matemática|lóxica formal]], un '''cuantificador''' é unha expresión que indica o número de ve ...'todos'' os elementos dun conxunto satisfán unha determinada [[Propiedade (lóxica)|propiedade]]. Por exemplo: ...8 kB (1.326 palabras) - 12 de marzo de 2025 ás 10:53
- |label8 = porta lóxica ...verdade]] ou [[Interpretación (lóxica)|valores semánticos]] en xeral. Na [[lóxica clásica]], a negación identifícase normalmente coa [[función de verdade]] q ...12 kB (1.948 palabras) - 29 de xaneiro de 2025 ás 09:44
- ..." /> Dúas características xeralmente aceptadas da relación de consecuencia lóxica son que é «necesaria» e ademais é «formal».<ref name="SEP" /> ...idencia empírica (experiencia sensorial); e (3) A relación de consecuencia lóxica ten unha compoñente modal.[3] ...4 kB (645 palabras) - 29 de xaneiro de 2025 ás 08:51
- |title = ''Conxunción lóxica'' <br> AND |label8 = porta lóxica ...11 kB (1.820 palabras) - 29 de xaneiro de 2025 ás 09:49
- | title = ''Conxunción lóxica'' <br> OR |label6= Porta lóxica ...7 kB (1.181 palabras) - 13 de xaneiro de 2025 ás 11:27
- Un '''antecedente''' é a primeira metade dunha [[proposición (lóxica)|proposición]] [[Hipótese|hipotética]], sempre que a cláusula "se" precede == Estrutura lóxica == ...1 kB (175 palabras) - 29 de xaneiro de 2025 ás 09:50
- Unha '''porta''' ou '''comporta lóxica''' é o [[dispositivo electrónico]] que permite pór en funcionamento as form Cada porta lóxica consiste nunha rede de dispositivos interruptores que cumpren as condicións ...12 kB (1.904 palabras) - 23 de decembro de 2024 ás 21:48
- ...aiúscula '''F''', o número [[Cero|0]] (especialmente en [[Álxebra de Boole|lóxica booleana]] e [[Ciencias da computación|informática]]), O (en [[Notación pol == En lóxica clásica e lóxica booleana == ...4 kB (712 palabras) - 29 de xaneiro de 2025 ás 09:52
- ...dos segundo o contexto, normalmente referíndose á propiedade de [[Validez (lóxica)|validez]] semántica. Intuitivamente, un sistema chámase completo neste sen A propiedade recíproca da completude chámase [[Corrección (lóxica)|corrección]]: un sistema é correcto en relación a unha propiedade (princip ...5 kB (786 palabras) - 26 de decembro de 2024 ás 16:01
- ...matemática, unha '''fórmula''' é unha representación dunha [[proposición (lóxica)|proposición]] dentro dunha certa [[linguaxe]] formal. ==Fórmula en lóxica clásica de primeira orde== ...4 kB (637 palabras) - 29 de xaneiro de 2025 ás 09:34
- A '''lóxica das clases''' é considerada a proposición que considera a pertenza ou non d ...dade define a clase, non o individuo, tornándose esencialmente distinta da lóxica de predicado. Neste caso, polo tanto, o valor de [[verdade]] é dada pola ad ...2 kB (417 palabras) - 17 de xullo de 2018 ás 16:46
O texto da páxina coincide
- Un '''antecedente''' é a primeira metade dunha [[proposición (lóxica)|proposición]] [[Hipótese|hipotética]], sempre que a cláusula "se" precede == Estrutura lóxica == ...1 kB (175 palabras) - 29 de xaneiro de 2025 ás 09:50
- ..." /> Dúas características xeralmente aceptadas da relación de consecuencia lóxica son que é «necesaria» e ademais é «formal».<ref name="SEP" /> ...idencia empírica (experiencia sensorial); e (3) A relación de consecuencia lóxica ten unha compoñente modal.[3] ...4 kB (645 palabras) - 29 de xaneiro de 2025 ás 08:51
- ...se trata como unha constante lóxica en moitos [[sistema formal|sistemas de lóxica.]] ...e característica especial de certas constantes fai que sexan de natureza ''lóxica''? ...3 kB (444 palabras) - 29 de decembro de 2024 ás 20:53
- ...<math>\vdash</math> (que ten unha soa barra polo medio) é o [[Completude (lóxica)|teorema de completude]]. ...llante ao da carraca, o que indica [[Consecuencia lóxica|unha consecuencia lóxica (sintáctica)]]. ...2 kB (344 palabras) - 26 de decembro de 2024 ás 22:05
- ...|implicación]], se ''P'' implica ''Q'', entón ''P'' chámase [[Antecedente (lóxica)|antecedente]] e ''Q'' '''consecuente'''<ref>Sets, Functions and Logic - An * [[Consecuencia lóxica]]. ...1 kB (214 palabras) - 29 de xaneiro de 2025 ás 09:50
- ...ca]]. A versión de dúas entradas implementa [[Igualdade lóxica|a igualdade lóxica]], comportándose segundo a táboa de verdade da dereita, polo que a porta ás Hai [[Porta lóxica|dous símbolos para as portas XNOR]]: un con forma distintiva e outro con fo ...3 kB (367 palabras) - 29 de decembro de 2024 ás 19:18
- ...aiúscula '''F''', o número [[Cero|0]] (especialmente en [[Álxebra de Boole|lóxica booleana]] e [[Ciencias da computación|informática]]), O (en [[Notación pol == En lóxica clásica e lóxica booleana == ...4 kB (712 palabras) - 29 de xaneiro de 2025 ás 09:52
- A '''lóxica das clases''' é considerada a proposición que considera a pertenza ou non d ...dade define a clase, non o individuo, tornándose esencialmente distinta da lóxica de predicado. Neste caso, polo tanto, o valor de [[verdade]] é dada pola ad ...2 kB (417 palabras) - 17 de xullo de 2018 ás 16:46
- ...matemática, unha '''fórmula''' é unha representación dunha [[proposición (lóxica)|proposición]] dentro dunha certa [[linguaxe]] formal. ==Fórmula en lóxica clásica de primeira orde== ...4 kB (637 palabras) - 29 de xaneiro de 2025 ás 09:34
- ...contradición''' é unha incompatibilidade entre dúas ou máis [[proposición (lóxica)|proposicións]]. Por exemplo, as frases "chove e non chove" e "nin chove ni Na [[lóxica proposicional]], unha contradición defínese como unha fórmula que resulta s ...4 kB (690 palabras) - 29 de xaneiro de 2025 ás 09:46
- A '''lóxica matemática''' é unha disciplina relacionada coa [[lóxica]] e a [[matemática]], que estuda os [[sistema formal|sistemas formais]] en ...]] e [[teoría da computabilidade|teoría da recursión]]. A investigación en lóxica matemática xogou un papel fundamental no estudo dos fundamentos das matemát ...7 kB (1.178 palabras) - 29 de xullo de 2024 ás 11:31
- ...ca|lugar=Buenos Aires|editorial=Eudeba}}</ref> Se o argumento é [[Validez (lóxica)|válido]], as premisas implican a conclusión. No entanto, para que unha pro ...que son [[Verdade|verdadeiras]] (é dicir, que o argumento é [[Corrección (lóxica)|correcto]] ou [[Convición|convincente]]).<ref name="Cambridge">{{Cita enci ...3 kB (463 palabras) - 29 de decembro de 2024 ás 08:49
- ...dos segundo o contexto, normalmente referíndose á propiedade de [[Validez (lóxica)|validez]] semántica. Intuitivamente, un sistema chámase completo neste sen A propiedade recíproca da completude chámase [[Corrección (lóxica)|corrección]]: un sistema é correcto en relación a unha propiedade (princip ...5 kB (786 palabras) - 26 de decembro de 2024 ás 16:01
- | title = ''Conxunción lóxica'' <br> OR |label6= Porta lóxica ...7 kB (1.181 palabras) - 13 de xaneiro de 2025 ás 11:27
- |label9=porta lóxica ...fica [[Disxunción lóxica|OU]], e <math>\land</math> significa [[Conxunción lóxica|AND]]. ...7 kB (1.011 palabras) - 29 de xaneiro de 2025 ás 09:57
- Unha '''porta''' ou '''comporta lóxica''' é o [[dispositivo electrónico]] que permite pór en funcionamento as form Cada porta lóxica consiste nunha rede de dispositivos interruptores que cumpren as condicións ...12 kB (1.904 palabras) - 23 de decembro de 2024 ás 21:48
- ...n obxecto da [[álxebra de Boole]], usada na [[informática]] e nas [[Porta lóxica|portas lóxicas]]. ...math>x_1,...,x_k</math>, e dúas fórmulas proposicionais son [[Equivalencia lóxica|loxicamente equivalentes]] [[se e só se]] expresan a mesma función booleana ...6 kB (864 palabras) - 29 de decembro de 2024 ás 18:43
- ...mula ben formada]] que resulta verdadeira baixo calquera [[Interpretación (lóxica)|interpretación]]; é dicir, para calquera asignación de [[Valor de verdade| ...]] [[Ludwig Wittgenstein]] foi o primeiro en aplicar o concepto ao eido da lóxica proposicional no [[1921]], tomándoo da [[retórica]], onde unha tautoloxía é ...6 kB (916 palabras) - 29 de febreiro de 2024 ás 19:37
- == Lóxica matemática == ...s grupos periódicos é que a definición non se pode formalizar en termos de lóxica de primeira orde. Isto é porque facelo requiriría un axioma da forma ...4 kB (607 palabras) - 6 de maio de 2024 ás 16:32
- ...gramas, mapas conceptuais ou textos similares, para indicar unha secuencia lóxica ou cronolóxica, unha relación de causa-efecto, implicación, derivación etc. * Indica unha implicación [[lóxica]] (<math>p \rightarrow q</math>). ...2 kB (311 palabras) - 13 de febreiro de 2025 ás 19:19