Logický znak

Logický znak alebo logický symbol je znak logického kalkulu alebo formalizovaného jazyka, ktorého žiadna časť už nie je znakom.

Niektoré bežné logické znaky

Znak	Názov	Príklad	Číta sa
${\displaystyle \neg }$	negátor, spojka negácie	${\displaystyle \neg A}$	nie je pravda, že A
${\displaystyle +}$	asertor, spojka asercie	${\displaystyle +A}$	je pravda, že A
${\displaystyle \wedge }$	konjunktor, spojka konjunkcie	${\displaystyle A\wedge B}$	A a súčasne B
${\displaystyle \vee }$	(nevylučovací) disjunktor, spojka disjunkcie	${\displaystyle A\vee B}$	A alebo B
>-<	vylučovací disjunktor, spojka vylučovacej disjunkcie	A >-< B	buď A alebo B
${\displaystyle \Rightarrow }$	implikátor, spojka imlikácie	${\displaystyle A\Rightarrow B}$	ak A, tak B
${\displaystyle \Leftarrow }$	obrátený implikátor, spojka obrátenej implikácie	${\displaystyle A\Leftarrow B}$	A keď B
${\displaystyle \Leftrightarrow }$	ekvivalentor, spojka ekvivalencie	${\displaystyle A\Leftrightarrow B}$	A vtedy a len vtedy, ak B
${\displaystyle \Diamond }$	spojka možnosti, modálny operátor možnosti, funktor možnosti, diamant	${\displaystyle \Diamond A}$	je možné, že A
${\displaystyle \Box }$	spojka nutnosti, modálny operátor nutnosti, funktor nutnosti, box	${\displaystyle \Box A}$	je nutné, že A
${\displaystyle \forall }$	generálny kvantifikator, všeobecný kvantifikator	${\displaystyle \forall x\quad P(x)}$	každé x má vlastnosť P
${\displaystyle \exists }$	existenčný kvantifikator, čiastočný kvantifikator	${\displaystyle \exists x\quad P(x)}$	existuje aspoň jedno x s vlastnosťou P
${\displaystyle ()}$	ľavá a pravá zátvorka
${\displaystyle \vdash }$	znak odvoditeľnosti, Tarského symbol, znak syntaktickej pravdovosti	${\displaystyle {\mathcal {A}}\vdash B}$	z predpokladov ${\displaystyle {\mathcal {A}}}$ je odvoditeľné tvrdenie B
		${\displaystyle \vdash A}$	A je teorémou, A je odvoditeľné z prázdnej množiny premís
${\displaystyle \models }$	znak vyplývania, znak sémantickej pravdivosti	${\displaystyle {\mathcal {A}}\models B}$	v modeli ${\displaystyle {\mathcal {A}}}$ platí tvrdenie B, z ${\displaystyle {\mathcal {A}}}$ vyplýva B
		${\displaystyle \models A}$	A je tautológia, A platí v každom modeli
${\displaystyle P}$	pravdivostná hodnota pravda	${\displaystyle A/P}$	forma A nadobudla hodnotu pravda
${\displaystyle N}$	pravdivostná hodnota nepravda	${\displaystyle A/N}$	forma A nadobudla hodnotu nepravda

_______

znak doplnku A doplnok množiny (triedy, relácie) A

ď znak prieniku A ď B prienik množín (tried, relácií) A a B

U znak zjednotenia A U B zjednotenie množín (tried, relácií) A a B

( znak podmnožiny (obsiahnu- A ( B A je podmnožinou (množiny) B tosti)

) znak nadmnožiny A ) B A je nadmnožinou (množiny) B

= znak rovnosti A = B A sa rovná B; A je totožné s B

|| znak disjunktnosti A || B A je disjnunktné s B; A a B nemajú spoločný prvok

>< znak pretínania A >< B A sa pretína s B; A a B majú aspoň jeden spoločný prvok

î znak prvku a î B a je prvkom množiny B

=df definičný znak A =df B A sa definične rovná B

1 znak univerzálnej triedy

0 znak prázdnej triedy

${\displaystyle \lambda }$, lambda operátor, operátor (${\displaystyle \lambda }$,x) P(x) tie x, ktoré majú vlastnosť lambda, operátor abstrakcie P

\, jota operátor, operátor (\,x) P(x) to x, ktoré má vlastnosť P jota, operátor individuálneho opisu

.. ..

Pr symbol označujúci triedu S î Pr S je pravdivá veta v L

všetkých pravdivých viet ~

v L

~

L jazyk-objekt

~

ML metajazyk relativizovaný

~~ vzhľadom k L

~

${\displaystyle \Delta }$; delta designátor

.

ď znak pre zreťazenie