BasicConnectivesTrait
trait BasicConnectivesTrait
Example usage.
class Logic
{
use BasicConnectivesTrait;
public function __construct()
{
$this->basicConnectives = $this->makeBasicConnectives();
// ...
}
}
trait BasicConnectivesTrait
Example usage.
class Logic
{
use BasicConnectivesTrait;
public function __construct()
{
$this->basicConnectives = $this->makeBasicConnectives();
// ...
}
}
FormulaInterface
and(FormulaInterface $f1, FormulaInterface $f2, FormulaInterface ...$f)
FormulaInterface
or(FormulaInterface $f1, FormulaInterface $f2, FormulaInterface ...$f)
protected array
makeBasicConnectives()