Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96) (envelope-from ) id 1x53xk-007b2f-2B for pgsql-hackers@arkaria.postgresql.org; Fri, 11 Sep 2026 16:18:52 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.96) (envelope-from ) id 1x53xj-00GE4h-1H for pgsql-hackers@arkaria.postgresql.org; Fri, 11 Sep 2026 16:18:51 +0000 Received: from makus.postgresql.org ([2001:4800:3e1:1::229]) by malur.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96) (envelope-from ) id 1x53xj-00GE49-0L for pgsql-hackers@lists.postgresql.org; Fri, 11 Sep 2026 16:18:51 +0000 Received: from relay6-d.mail.gandi.net ([217.70.183.198]) by makus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.98.2) (envelope-from ) id 1x53xg-00000005AC1-3wiU for pgsql-hackers@lists.postgresql.org; Fri, 11 Sep 2026 16:18:50 +0000 Received: by mail.gandi.net (Postfix) with ESMTPSA id 05FEA3ED80; Fri, 11 Sep 2026 16:18:44 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=postgresfriends.org; s=gm1; t=1789143526; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=HoruBq+P2rI7a1ZKHNnQypMyWbaKaWAS0svWqlcKIkE=; b=YR51SMDs/A/k6T9Y4XykgSVoOmLrgfTcg2HQN/TcepABwisfg85R+ZjSIcfvqyexYMLv8p VPVoRTl7puzsNf1HDVNnlFztIECfpzJ0aqkckiyrhJtccK9LFZpQooufnWfSZ+eke/EcPt j3q4owrlLfl98yXYx6ht/T+BdiU1+evAaXZqe57wsF/0FZm/FSGaVQjSPw7uvBsURl+ldZ pDvwqeONm1vKEJU1Ih46Kb3HlfJm1SaNsnn1vnulOTs4/6CuOkYAYDfbeHlWHq2hkuqqmx NDP2K/8a3O+g9ExVWPdZIFHaa6hhjtEYtns4wAQcUI2XscHt+BaarW5VPvuvsQ== Message-ID: <5913f9b3-bf3c-469f-adab-8ea614663f34@postgresfriends.org> Date: Fri, 11 Sep 2026 18:18:41 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: Logical Implication From: Vik Fearing To: Thom Brown Cc: PostgreSQL Hackers References: <37c76707-e6fa-4ee3-b57f-aa0bf1b0bba8@postgresfriends.org> <43d5a3f4-30b9-4fa5-9f8f-97aa2dd7cf7c@postgresfriends.org> Content-Language: en-US In-Reply-To: <43d5a3f4-30b9-4fa5-9f8f-97aa2dd7cf7c@postgresfriends.org> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-GND-Sasl: vik@postgresfriends.org X-GND-State: clean X-GND-Score: -100 X-GND-Cause: dmFkZTFaqaANhIpKhctyYmkQI2nkkrhbo946bHa89wuPtaRohc7hV+MX6B86SXIIt0t0rVIMq2kJUB3BmtaE6K9M//yBnvBexaGAgd6LQZ5Bki5vk+XRU/BsjpPvqnDtc8Vj2Dt7YSit5yO7c7syKggK5UgS7TgmZTu5uhiXIFX1ukzV/pTCUH/tXnLU9RPj6SbXDdmA+Xl3fVZntQxXCcdESRMYy8i10fQ7cEETwY3BOHpi2Ks9DHcK9QqFTqTwCvRO9izq4M+6X6LwfaIse7mRTdPfZdrqyH6Q4y9H7ysXtd60TbFSTpay+aU9/Kgi+r2GQjRsYsTxPcFxvNqGAXoYD73tA/r6wk0H5XzACjLhf4Xt8CebL4me2ckTHbzvGLPJJs4BHHDr7BVxiFBsLNYFIH3IiFE3PNazAzJYK0MOAG9yPRTPyy4Qq5or26ORwWJmIRu1KCNLBbcHybjFsNIivEd4xntycItOs0d9weRNAFZrJiRQKhk3PfiPRbpAFQqN3Fltid5mjiaBKWNnuvj88CSJs8OzKEAqFj2meODwxGLkgcXpkUgo5R7TWBG0uOOQreoSWUTJlkgAjMZYa8deBwuUCfROiRhx6u6ujq9TRED4k+aKlgCie4cD8lf9jCB4IPLSHnPoxZ7kOacMWxoUiQyn+zku9+1Qqxcy6K26phlULg List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk On 11/09/2026 18:06, Vik Fearing wrote: > >> a IMPLIES (100 / b > 10) > > > This is an error because the operator only applies to booleans. Sorry, my bad. I parsed it incorrectly in my head, assuming b was a boolean. Its result is  (NOT a) OR ((100 / b) > 10) -- Vik Fearing