Booleovská konstanta

V logice je logickou konstantou formálního jazyka znak, který má stejný sémantický význam pod jakýmkoli výkladem v . Dva důležité typy logických konstant jsou logické spojky a kvantifikátory . Predikát rovnosti (běžně psaný "=") je v mnoha logických systémech také považován za booleovskou konstantu.

Některé symboly, které jsou obvykle považovány za booleovské konstanty, jsou:

Symbol	Význam
T	"skutečný"
F	"Nepravdivé"
¬	"ne"
∧	"a"
∨	"nebo"
→	„měl by“, „pokud… pak“
∀	"pro všechny"
∃	"existuje", "pro některé"
=	"rovná se"
	"nutné"
	"Možná"

Jiné symboly se také používají k označení mnoha logických konstant, například symbol „&“ pro logické „a“ [1] .

Otázka "Co je logická konstanta?" je jednou ze základních otázek filozofie logiky .

Viz také

• Booleovská operace

Poznámky

1. ↑ Předmět logiky (nepřístupný odkaz) . Datum přístupu: 18. ledna 2015. Archivováno z originálu 12. února 2015. (neurčitý) 

Odkazy

• Stanford Encyclopedia of Philosophy vstup o logických konstantách

Slovníky a encyklopedie	Velká Katalánština Velká Katalánština Britannica (online) Brockhaus