Resultats de la cerca
Es mostren 1 resultats
principi de bivalència
Lògica
Matemàtiques
Principi de la lògica de sentències o proposicions, de caire semàntic, que diu: «tota sentència és certa o falsa».
Aquest principi fou enunciat en el cas del càlcul de proposicions, de forma explícita, per primera vegada, a l’escola estoica de Megara lògica i, concretament, per Crisip, si bé ja Aristòtil en De Interpretatione l’havia analitzat i discutit àmpliament Sintàcticament parlant implica les lleis del tercer exclòs, de no-contradicció i de la doble negació, les quals, en lògiques no bivalents, poden esdevenir falses