Výraz logický

výraz logický

- 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 ( L646;383).