Logický výraz
Logický výraz je postupnosť znakov tvorená z nasledujúcich základných logických znakov:
1. ż, /\, \/, ->, <->, ( ), (đ|x), (\-/x).
2. p , p ,... p.
o 1 n
3. P (x ), P (x )...
o 1 o 2
P (x ), P (x )...
1 1 1 2
Q (x , x ), Q (x , x ),... Q (x , x ).
o 1 2 1 1 2 n i k
Z týchto základnych logických znakov sa tvoria výrazy výrokovej logiky induktívnou definíciou.
Externé odkazy
upraviť- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.