Interface FirstOrderLogic<T>

All Superinterfaces:

Logic<T>

public interface FirstOrderLogic<T>
extends Logic<T>

Interface for First-Order Logic (Predicate Logic).

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Method Summary

Modifier and Type	Method	Description
T	exists(Iterable<T> domain, Predicate<T> predicate)	Existential quantification (∃).
T	forAll(Iterable<T> domain, Predicate<T> predicate)	Universal quantification (∀).

Methods inherited from interface Logic

and, equivalent, falseValue, implies, not, or, trueValue

Method Details

forAll

T forAll(Iterable<T> domain,
 Predicate<T> predicate)

Universal quantification (∀). Returns true (or equivalent) if the predicate holds for all elements in the domain.

Parameters:

domain - the domain of discourse (iterable)

predicate - the predicate to test

Returns:

the result of the quantification

exists

T exists(Iterable<T> domain,
 Predicate<T> predicate)

Existential quantification (∃). Returns true (or equivalent) if the predicate holds for at least one element in the domain.

Parameters:

domain - the domain of discourse (iterable)

predicate - the predicate to test

Returns:

the result of the quantification