Quick Links

Re: Logical Implication

From:	Vik Fearing <vik(at)postgresfriends(dot)org>
To:	Thom Brown <thom(at)linux(dot)com>
Cc:	PostgreSQL Hackers <pgsql-hackers(at)lists(dot)postgresql(dot)org>
Subject:	Re: Logical Implication
Date:	2026-09-11 16:18:41
Message-ID:	5913f9b3-bf3c-469f-adab-8ea614663f34@postgresfriends.org
Views:	Whole Thread \| Raw Message \| Download mbox \| Resend email
Thread:
Lists:	pgsql-hackers

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

	From	Date	Subject
Previous Message	Vik Fearing	2026-09-11 16:12:51	Re: Logical Implication