Constantă booleană

În logică , o constantă logică a unui limbaj formal este un caracter care are același sens semantic sub orice interpretare a în . Două tipuri importante de constante logice sunt conexiunile logice și cuantificatorii . Predicatul de egalitate (scris în mod obișnuit „=") este, de asemenea, tratat ca o constantă booleană în multe sisteme de logică.

Unele simboluri care sunt de obicei tratate ca constante booleene sunt:

Simbol	Sens
T	"Adevărat"
F	"Fals"
¬	"nu"
∧	"și"
∨	"sau"
→	„ar trebui”, „dacă... atunci”
∀	"pentru toți"
∃	„există”, „pentru unii”
=	"egal"
	"necesar"
	"Poate"

Alte simboluri sunt, de asemenea, folosite pentru a desemna multe constante logice, de exemplu, simbolul „&” pentru „și” logic [1] .

Întrebarea „Ce este o constantă logică?” este una dintre întrebările fundamentale ale filozofiei logicii .

Vezi și

• Operație booleană

Note

1. ↑ Subiectul logicii (link inaccesibil) . Data accesului: 18 ianuarie 2015. Arhivat din original la 12 februarie 2015. (nedefinit) 

Link -uri

• Stanford Encyclopedia of Philosophy intrarea pe constante logice

Dicționare și enciclopedii	Mare catalană Mare catalană Britannica (online) Brockhaus