Contents

#!/usr/bin/env ruby

begin
  require 'catlogic'
rescue LoadError
  require 'rubygems'
  require 'catlogic'
end

premise1 = Catlogic::Proposition.new("universal", "Mammals", "affirmative", "Dogs", true)
premise2 = Catlogic::Proposition.new("universal", "Mammals", "affirmative", "Mortal Things", true)


pair = Catlogic::PremisePair.new(premise1, premise2)
puts pair.isThreeTermPair?;

Version data entries

3 entries across 3 versions & 1 rubygems

Version	Path
catlogic-1.1.0	scripts/testPremisePair.rb
catlogic-1.0.0	scripts/testPremisePair.rb
catlogic-0.0.3	scripts/testPremisePair.rb