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 
 

Logika