Resultats de la cerca
Es mostren 5 resultats
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 ⇒
Clarence Irving Lewis
Lògica
Matemàtiques
Lògic matemàtic nord-americà.
Estudià a Harvard, s’inicià com a professor a Berkeley del 1914 al 1920 i fou catedràtic a Harvard des del 1930 És conegut per les seves contribucions al camp de la lògica modal i, molt especialment, pel que fa al càlcul que ell mateix anomenà de la implicació estricta i que sorgí d’una crítica del concepte clàssic d’implicació lògica
conclusió
Lògica
Proposició que hom dedueix necessàriament d’unes premisses.
En una implicació P ⇒Q, P és la premissa i Q la conclusió
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 ⊃
antecedent
Lògica
Matemàtiques
En la implicació, el terme, o la proposició, del qual és implicat el consegüent.