Resultats de la cerca
Es mostren 5 resultats
negació
Lògica
Tipus de connectiva
lògica.
Donada una proposició p , la seva negació, que hom representa amb els símbols ¬ p , tilde p , p, és definida per la taula de veritat Quan dins un referencial predeterminat hom defineix un conjunt mitjançant una funció proposicional p x , la funció ¬ p x defineix el conjunt complementari La negació de proposicions representades amb símbols matemàtics, com a ∈ A, M ⊂ N, x = y, és representada usualment amb una ratlla inclinada damunt el símbol corresponent a ∉ A, M ⊄ N, x ≠ y La negació de proposicions en les quals intervenen quantificadors, cal fer-la amb molt de…
càlcul lògic
Lògica
Sistema de signes no interpretats, en el qual els enunciats són tractats algorísmicament ( algorisme
) i les formacions i les operacions s’efectuen d’acord amb unes regles explícites.
El càlcul és objecte de la sintaxi lògica , i opera amb esquemes formals, independentment de tota significació o contingut, per tal d’evitar les ambigüitats i les impropietats del llenguatge ordinari Consta d’un conjunt de símbols elementals, d’unes regles de formació i combinació de símbols i d’unes regles de transformació Per a ésser vàlid, el càlcul ha d’ésser consistent, complet i decidible Esbossat ja en Ramon Llull i més tard en Leibniz, aconseguí el primer desenvolupament important amb l’àlgebra de la lògica del s XIX George Boole, Ernst Schröder, i ha estat…
àlgebra de la lògica
Lògica
Nom donat al càlcul de classes, a causa de l’ús de símbols literals.
pensament
Filosofia
Psicologia
Lògica
Acció i efecte de pensar, el fet de pensar.
Filosòficament parlant, hom sol distingir entre el pensar —activitat o procés d’ordre psíquic— i el pensament —entitat ideal, atemporal i no psíquica—, segons que sigui psicològica o lògica la perspectiva que sigui presa Entès com a allò amb què s’enfronta el pensar, el pensament és quelcom ideal, allò que apareix a l’home i que és objecte de la fenomenologia i de les teories de l’objecte o ontologies regionals EHusserl, APfänder, etc Entès, en canvi, com a activitat intellectual i psicològica, el pensar ha estat estudiat en relació amb el real i amb l’anomenat coneixement sensible relació…
algorisme
Lògica
Matemàtiques
Procediment de càlcul que amb un conjunt ordenat i finit d’instruccions, de símbols i regles o d’operacions, permet trobar la solució d’un problema pas a pas o de forma recursiva.
S’aplica en tots els casos en què l’ús d’una estratègia ordenada i iterativa facilita l’obtenció de solucions Destaquen els algorismes típicament numèrics com el de calcular arrels quadrades o cúbiques, o l’algorisme d’Euclides, per a calcular el màxim comú divisor de dos nombres enters, però també són molt importants avui els algorismes subjacents a molts programes informàtics vàlids per a càlculs matemàtics, així com per a moltes altres aplicacions optimització, jocs, organització, etc Rep el nom del matemàtic persa Muḥammad ibn Mūsà al-Ḫwārizmī