pg.ddx.io  pgsql-hackers@postgresql.org mailing list archive  

help / color / mirror / Atom feed

From: Vik Fearing <vik@postgresfriends.org>
To: Thom Brown <thom@linux.com>
Cc: PostgreSQL Hackers <pgsql-hackers@lists.postgresql.org>
Subject: Re: Logical Implication
Date: Fri, 11 Sep 2026 18:18:41 +0200
Message-ID: <5913f9b3-bf3c-469f-adab-8ea614663f34@postgresfriends.org> (raw)
In-Reply-To: <43d5a3f4-30b9-4fa5-9f8f-97aa2dd7cf7c@postgresfriends.org>
References: <37c76707-e6fa-4ee3-b57f-aa0bf1b0bba8@postgresfriends.org>
	<CAA-aLv5r-3s4DWgSxfqmhmQsVASkj6VX2iJDDV3zNsnUCfrPgA@mail.gmail.com>
	<43d5a3f4-30b9-4fa5-9f8f-97aa2dd7cf7c@postgresfriends.org>


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

view thread (18+ messages)  latest in thread

Message-ID: <5913f9b3-bf3c-469f-adab-8ea614663f34@postgresfriends.org>
Permalink:  ../5913f9b3-bf3c-469f-adab-8ea614663f34@postgresfriends.org/
Also on:    postgresql.org/message-id/5913f9b3-bf3c-469f-adab-8ea614663f34@postgresfriends.org

copy link · copy postgr.es

reply

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: pgsql-hackers@postgresql.org
  Cc: vik@postgresfriends.org, thom@linux.com, pgsql-hackers@lists.postgresql.org
  Subject: Re: Logical Implication
  In-Reply-To: <5913f9b3-bf3c-469f-adab-8ea614663f34@postgresfriends.org>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by DDX for PostgreSQL; see mirroring instructions
for how to clone and mirror all data and code used for this inbox