Resultats de la cerca
Es mostren 5 resultats
taula de veritat
Filosofia
En lògica proposicional, procediment per a determinar la veritat o falsedat d’un enunciat sentencial d’acord amb els valors de veritat de les seves variables, les quals representen enunciats més bàsics.
La presentació més usual consisteix a posar a l’esquerra totes les combinacions dels valors del enunciats 2 n , essent n el nombre de variables i a la dreta el valor de veritat que rep la sentència per aquell valor de les variables Aquest valor és obtingut per derivació a partir de les taules de veritat de les funcions lògiques més bàsiques que determinen les connectives
connectiva
Lògica
En lògica formal, partícules que relacionen unes proposicions amb unes altres i fan possible el càlcul proposicional.
D’entre les considerades principals, n'hi ha cinc de binàries , que relacionen dues proposicions p, q Cadascuna d’elles requereix una combinació específica dels valors de veritat de p i q perquè la proposició resultant del càlcul sigui veritable Comprenen la conjunció p∧q , la disjunció p∨q , el condicional p→q , el bidireccional p↔Q i la disjunció exclusiva p↮q> r> Cadascuna d’elles requereix una combinació específica dels valors de ceritat de p i q perquè la proposició resultant del càlcul sigui veritable Així, la conjunció serà veritable si i només si p i q ho són o presenten el…
semàntica
Lògica
Part de la lògica, que correspon més exactament a l’àmbit del que hom anomena metalògica i que estudia els sistemes lògics des del punt de vista de les seves possibles interpretacions, principalment la interpretació normal, o pensada en elaborar el sistema, si és que una tal interpretació existeix.
També dita teoria dels models , la semàntica dels llenguatges formals ha d’ésser distingida de la semàntica lingüística o semàntica dels llenguatges naturals Bé que l’estudi sistemàtic de la semàntica lògica és posterior a l’estudi dels problemes sintàctics teoria de la deducció formal en els sistemes axiomàtics i és obra sobretot de Tarski i de Carnap, algunes nocions semàntiques són tan antigues com la mateixa lògica Aristòtil distingia ja entre forma i contingut, i usava contraexemples per a demostrar que certes formes sillogístiques no eren vàlides els estoics caracteritzaren…
barra de Sheffer
Lògica
Connectiva lògica binària amb la qual hom pot expressar totes les altres connectives clàssiques.
Si p i q són dues proposicions, hom representa per p/q la doble negació "ni p ni q " La negació de p , "no- p ", s’escriu p/p i la disjunció, " p o q ", s’escriu p/q / q/p Aquesta connectiva fou introduïda el 1913 pel lògic nord-americà HM Sheffer 1883-1964
lògica
Lògica
Ciència que estudia sistemàticament els enunciats vàlids o formalment veritables (entenent que un enunciat és formalment veritable si són veritables tots els enunciats que tenen el mateix esquema lògic) o que tracta de la relació de conseqüència entre enunciats.
A més, però, de la lògica pròpiament dita, actualment hom inclou sota el títol de lògica les investigacions metalògiques, les quals comprenen la teoria de la deducció o estudi de les propietats dels conjunts d’axiomes i la semàntica formal D’altra banda, no tot el que ha figurat històricament sota el nom de lògica —com és ara la hegeliana— entra avui dins l’àmbit d’aquesta, ni totes les investigacions pròpiament lògiques han estat consignades com a tals Malgrat aquesta dificultat, existeix una unitat bàsica de temàtica, separable de la filosofia, que permet de considerar la lògica com una…