Resultats de la cerca
Es mostren 3 resultats
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ó
element crisipià
Lògica
Matemàtiques
En una lògica de proposicions, tota proposició P que satisfà simultàniament el principi del tercer exclòs (P ⌉ P≡1) i el principi de (no)-contradicció (P ⌉ P≡0).
Quan tots els elements d’una lògica de proposicions són crisipians, hom diu que la lògica és crisipiana Tota lògica bivalent principi de bivalència és necessàriament crisipiana, però no a l’inrevés La qualitat d’ésser crisipiana una lògica és de caire sintàctic Des d’un punt de vista semàntic hom pot dir que una lògica és crisipiana quan satisfà el principi de bivalència
lògica de la mecànica quàntica
Lògica
Lògica no clàssica sorgida en el camp de la mecànica quàntica en observar (John Von Neumann i Garret Birkhoff, 1936) que les ‘‘proposicions’’ relatives als enunciats d’aquesta mecànica podien ésser representades per subspais tancats d’un espai de Hilbert complex i separable, com espai natural del càlcul operacional amb el qual s’estudià i fonamentà la mecànica quàntica (anàlogament a com les proposicions del càlcul de probabilitats són representades per subconjunts d’un conjunt de resultats elementals).
Així, la lògica de la mecànica quàntica és el càlcul reticular dels subespais tancats d’un tal espai de Hilbert, on la intersecció o mínim és la intersecció conjuntista ordinària, la negació o complementari és el complement ortogonal i la unió o màxim de dos subespais és el subespai més petit que els conté tots dos s’obté un reticle que no és modular i que dóna, per tant, una lògica molt apartada de la clàssica en què el reticle és distributiu En aquesta lògica, la incoherència no implica necessàriament contradicció encara que aquesta sempre implica aquella com a reflex del…