Resultats de la cerca
Es mostren 14 resultats
condicional
Lògica
Dit de la connectiva binària si..., llavors
, que representa l’anomenada implicació material
.
En la lògica simbòlica és representada pel signe ⊃
implicació
Lògica
Relació formal consistent en el fet que una idea o proposició n’implica una altra.
En lògica simbòlica s’expressa mitjançant el signe ⊰ En matemàtiques hom utilitza el símbol ⇒
consegüent
Lògica
Conseqüència, conclusió d’un sil·logisme del qual la major o la menor és sobreentesa.
En lògica simbòlica, designa la segona de les proposicions relacionades per un condicional En la fórmula p→q , q és el consegüent
bicondicional
Lògica
Dit de la proposició en què s’estableix l’equivalència entre dues proposicions en la forma “p si, i solament si, q” o “p és una condició necessària i suficient per a q”.
Aquesta proposició és certa si p i q són totes dues certes o totes dues falses És equivalent a “ p implica q i q implica p ”En lògica simbòlica, és representada pel signe ≡
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 perfeccionat per la lògica…
Augustus De Morgan
Lògica
Matemàtiques
Matemàtic i lògic anglès.
Fou professor de matemàtiques a l’University College de Londres 1828-66, excepte durant el període 1831-36, i el primer president de la London Mathematical Society, fundada l’any 1866 En un dels seus primers treballs, Elements of Arithmetic 1831, tractà, des del punt de vista filosòfic, dels conceptes de nombre i magnitud Les seves contribucions més importants són en el camp de la lògica simbòlica, i, juntament amb Boole, pot ésser considerat l’impulsor d’aquest nou corrent durant la primera meitat del s XIX En són remarcables, també, els treballs que fan referència a la fonamentació…
George Boole
Lògica
Matemàtiques
Matemàtic i lògic anglès.
Autodidacte, s’introduí en matemàtica mitjançant l’estudi de les obres de Lagrange i les de Laplace, i el 1849 obtingué una càtedra al Queen's College de Corcaigh Féu importants treballs en anàlisi matemàtica i contribuí a la fixació del llavors naixent concepte d’invariància Però la seva aportació més important fou l’inici de la lògica simbòlica És autor de The Mathematical Analysis of Logic 1847, The Calculus of Logic 1848 i de la seva obra mestra, An Investigation into the Laws of Thought, on which are Founded the Mathematical Theories of Logic and Probabilities 1854 El seu…
disjunció
Lògica
Dit de la connectiva binària que en la notació de la lògica simbòlica hom representa amb el signe v
.
Hom l’anomena també disjunció inclusiva per a distingir-la de la disjunció exclusiva , simbolitzada per ↮ En el llenguatge corrent, hom acostuma a utilitzar la preposició “o” indistintament per a referir-se a una o a l’altra, bé que l’expressió “o bé o bé" designa la segona amb més propietat En la lògica clàssica, les proposicions disjuntives constitueixen una classe de les proposicions formalment hipotètiques, i hom en parla també com de judicis disjuntius
conjunció
Lògica
Connectiva binària i, que en la lògica simbòlica pot ésser representada per un punt (.) o bé pels signes ∧ i &.
La proposició resultant de la conjunció de dues proposicions p ∧ q serà falsa si p , q o bé ambdúes són falses