Resultats de la cerca
Es mostren 3 resultats
oposició
Lògica
Relació entre dos conceptes, dos membres, dos aspectes, etc, l’un dels quals és la negació de l’altre o posseeix una qualitat que no pot donar-se simultàniament amb la d’aquest altre.
Així, hom ha distingit tradicionalment entre l' oposició per contradicció la d’ésser i no-ésser, l' oposició per privació la de visió i ceguesa, l' oposició per contrarietat la de virtut i vici i l' oposició relativa la de pare i fill En la lògica aristotèlica l’oposició per contradicció en què no poden ésser veritables o falses alhora ambdues proposicions es dóna entre proposicions del tipus A universal afirmativa i O particular negativa, i entre les de tipus E universal negativa i I particular afirmativa, mentre que l’oposició per contrarietat en què ambdues proposicions no poden ésser…
símbol
Lògica
Expressió verbal o escrita, definida per unes normes determinades, de la qual hom se serveix per a significar objectes o relacions.
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 ‘…