element crisipià

m

Matemàtiques

Lògica

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.