Una función proposicional compleja es el resultado de combinar mediante conectivas lógicas funciones proposicionales simples; cada función compleja se satisface en función de la satisfacción de sus componentes, según reglas semánticas especificadas –por ejemplo, '"x no es blanca" es satisfecha por un objeto si y solo si ese objeto no satisface "x es blanca"';'"x es blanca o x es roja" es satisfecha por un objeto si y solo si el objeto satisface alguno de sus componentes'-.