Resultats de la cerca
Es mostren 2 resultats
deducció natural
Lògica
Mètode de lògica proposat per Gerhard Gentzen el 1934, consistent en unes regles d’inferència, vàlides tant en la lògica sentencial com en la quantificacional.
proposició
Lògica
En la lògica simbòlica, sentència l’esquema quantificacional atòmic de la qual inclou lletres predicats (‘F’, ‘G’, ‘H’; corresponents al verb o predicat verbal) i lletres arguments (‘w’, ‘x’, ‘y’, ‘z’; corresponents al subjecte).
En l’esquema logístic, doncs, hom prescindeix de la representació tradicional de proposició segons la qual aquesta consta d’un subjecte i un predicat units per la còpula ‘és’, que no és reconeguda sinó com una de les moltes formes possibles de proposició, i hom estableix, en canvi, que en les proposicions dividides per l’atomisme lògic en atòmiques i compostes un predicat és afirmat d’un argument Representacions quantificacionals de proposicions atòmiques són, per exemple, ‘Fx', on ‘x’ substitueix ‘Pere’, ‘F’ substitueix ‘corre’ o ‘és bo’, etc, i ‘Fx,y' o ‘Fx' segons que F substitueixi ‘…