Contents

require 'spec_helper'
module Alf
  class Predicate
    describe Predicate, "contradiction?" do

      subject{ pred.contradiction? }

      context "tautology" do
        subject{ Predicate.tautology }

        it{ should be_false }
      end

      context "contradiction" do
        subject{ Predicate.contradiction }

        it{ should be_true }
      end

      context "identifier" do
        subject{ Predicate.identifier(:x) }

        it{ should be_false }
      end

    end
  end
end

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
alf-core-0.15.0	spec/unit/alf-predicate/predicate/test_contradiction.rb