From Wikipedia, the free encyclopedia
Una obversió lògica és una de les operacions que la lògica clàssica tradicional admetia com a operació lògica.
Consisteix en la modificació del judici aristotèlic de manera que canviant la qualitat del judici, afirmatiu-negatiu, i negant el terme predicat, obtenim un judici equivalent.
D'aquesta manera:
Tot S és P s'obverteix a Cap S és no-P
Cap S és P s'obverteix a Tot S és no-p
Algun S és P s'obverteix a Algun S no és no-p
Algun S no és P s'obverteix a Algun S és no-P
La lògica moderna en tractar els judicis aristotèlics com a funcions proposicionals canvia notablement el sentit lògic d'aquestes operacions, pel que avui dia aquestes propietats no tenen en realitat a penes importància lògica,[1] encara que sí que poden ajudar al domini lògic del llenguatge.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.