Logický znak

Z Wikipédie

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

_______

znak doplnku A doplnok množiny (triedy, re- lácie) A

ď znak prieniku (Alt-239) 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 (Alt-238) 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

/\, lambda operátor, operátor (/\,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

~

/_\ delta; designátor

.

ď znak pre zreťazenie

[úprava] Externé odkazy

  • FILIT Zdroj, z ktorého pôvodne čerpal tento článok


Tento článok z Filitu potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.