( )
( )
( )
Анықтама 4. Егер аймағына тиісті кез келген ( x1, x2, …, xn ) пәндік айнымалылардың топтары үшін Р( x1, x2, …, xn ) Q( x1, x2, …, xn ) болса, онда P және Q предикаттар аймағында анықталған пара-пар предикаттар деп аталады (P Q).
Достарыңызбен бөлісу: |