forma lógica de éste. En el caso de un predicado nario P, que figura en un contexto C dado, lo concebimos --usando indicaciones contenidas en C-- como una función de ntuplas de objetos al conjunto S de las proposiciones (verdaderas, falsasonodecididas)quecontienenaP.Más exactamente, escribimos: P: A X B X ... X N --> S Por ejemplo, «veloz» se predica de objetos o procesos materiales, de modo
LIN:125.05
CONTENERI - Tener [una entidad] [algo] ocupando su interior