# $Id: russell.axiom.n3,v 1.2 2001/10/01 00:12:36 amdus Exp $

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <russell#>.

{{:x a :R} log:implies {{:x a :x} a log:Falsehood}} a log:Truth; log:forAll :x.
{{{:x a :x} a log:Falsehood} log:implies {:x a :R}} a log:Truth; log:forAll :x.