catlogic 0.0.1 → 0.0.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 57afcbee35246b90edd31886a66d0d2cf921886b
-  data.tar.gz: d800074866220096293953f434c5b102a07f0bcd
+  metadata.gz: 90a09a9e2399112e248c597e72c7c9d28849fe84
+  data.tar.gz: ddc5fa27e7320b5f05ca279cf247c3daac25b876
 SHA512:
-  metadata.gz: 7205ea09f5d5337b984364a89df4321bbbe00589ab7086812156491461d7ec46fa07c16152476de084f724e807dba2ab185d7b82975c7dfccec5d7324ef44c08
-  data.tar.gz: bb1b1ef80850971219ec479b711649161d078208b9f7e19bc5fa75fb3a12a9950d298ea44dbed723d9519af0ff61e86416048504c16ee92fd8af799fcd6eb54e
+  metadata.gz: daf7a9cb7f0409ad7dd4100dc787d43ea61f70d6798f872747c5554f4ee8a976d3e0706434b91ee8064dde15b16e9a85fc66582592343a768f7a07f1d01711a6
+  data.tar.gz: 1109801b36ac153639a25dbd5b4ca7fca6673db3a2f65d530cc2a3d612c9002352c41f067cc962c2ed9a36b5036158a924ccc65e0253792138817e1cedab4e81

data/.gitignore

@@ -12,3 +12,4 @@
 *.o
 *.a
 mkmf.log
+/.idea/

data/lib/catlogic/form.rb

@@ -19,4 +19,80 @@ class Form
     syllogism = self.syllogism
     syllogism.validity
   end
-end
+  def name
+    case @figure.label
+      when 1
+        case @mood.label
+          when "AAA"
+            name = "Barbara"
+          when "EAE"
+            name = "Celarent"
+          when "AII"
+            name = "Darii"
+          when "EIO"
+            name = "Ferio"
+          when "AAI"
+            name = "Barbari"
+          when "EAO"
+            name = "Celaront"
+          else
+            name = nil
+        end
+      when 2
+        case @mood.label
+          when "EAE"
+            name = "Cesare"
+          when "AEE"
+            name = "Camestres"
+          when "EIO"
+            name = "Festino"
+          when "AOO"
+            name = "Baroco"
+          when "EAO"
+            name = "Cesaro"
+          when "AEO"
+            name = "Camestrop"
+          else
+            name = nil
+        end
+      when 3
+        case @mood.label
+          when "AAI"
+            name = "Darapti"
+          when "IAI"
+            name = "Disamis"
+          when "AII"
+            name = "Datisi"
+          when "EAO"
+            name = "Felapton"
+          when "OAO"
+            name = "Bocardo"
+          when "EIO"
+            name = "Ferison"
+          else
+            name = nil
+        end
+      when 4
+        case @mood.label
+          when "AAI"
+            name = "Bramantip"
+          when "AEE"
+            name = "Camenes"
+          when "IAI"
+            name = "Festino"
+          when "EAO"
+            name = "Fesapo"
+          when "EIO"
+            name = "Fresison"
+          when "AEO"
+            name = "Camenop"
+          else
+            name = nil
+        end
+      else
+        name = nil
+    end
+    return name
+  end
+
+end

data/lib/catlogic/premise_collection.rb

@@ -1,211 +1,38 @@
 class PremiseCollection
   def initialize(propositionarray)
-    @collection = propositionarray
+    @collection_array = propositionarray
   end
 
-  def getAllValidSyllogisms
-
-    if @collection.count < 2
-      puts "collection must include two or more propositions"
+  def at_least_two?
+    if @collection_array.count >= 2
+      true
     else
-      #inputconclusions = @collection
-      validsyllogisms = []
-      pairs = []
-
-      @collection.each do |proposition|
-
-        @collection.each do |secondproposition|
-          unless proposition.equal? secondproposition
-            pairs << PremisePair.new(proposition, secondproposition)
-          end
-        end
-      end
-      pairs.each do |pair|
-        if pair.isThreeTermPair?
-          conclusions = pair.getPossibleConclusions
-          conclusions.each do |conclusion|
-            syllogism = Syllogism.new(pair.getMajor, pair.getMinor, conclusion)
-            if syllogism.validity == "valid"
-              validsyllogisms << syllogism
-            end
-          end
-        end
-      end
+      false
     end
-    return validsyllogisms
-  end
-
-  def getUniqueValidSyllogisms
-      inputconclusions = @collection
-      validsyllogisms = self.getAllValidSyllogisms
-      uniquevalidsyllogisms = []
-
-      validsyllogisms.each do |syllogism|
-      validconclusion = syllogism.getConclusion
-        if (validconclusion.isUnique?(inputconclusions))
-                  uniquevalidsyllogisms << syllogism
-        end
-      end
-    return uniquevalidsyllogisms
   end
-
-=begin
-  def getUniqueInferredTruths
-
-    uniquevalidsyllogisms = self.getUniqueValidSyllogisms
-    uniqueinferredtruths = []
-
-    uniquevalidsyllogisms.each do |syllogism|
-      uniqueinferredtruths << syllogism.getConclusion
-    end
-
-    return uniqueinferredtruths
+  def size
+    @collection_array.count
   end
-=end
-
-  def getAllInferredTruths
-    inputconclusions = @collection
-    inferredconclusions = []
-
-    validsyllogisms = self.getAllValidSyllogisms
-    validsyllogisms.each do |syllogism|
-      validconclusion = syllogism.getConclusion
-
-      if (validconclusion.isUnique?(inputconclusions))
-        inferredconclusions << validconclusion
+  def unique_set
+    unique_set = []
+    @collection_array.each do |conclusion|
+      if unique_set.count == 0
+        unique_set << conclusion
+      elsif conclusion.unique?(unique_set)
+        unique_set << conclusion
       end
     end
-    return inferredconclusions
-  end
-
-
-  def getUniqueInferredTruths
-    newset = PremiseCollection.new(self.getAllInferredTruths)
-    unique_inferredconclusions = newset.reduceToUniqueSet
-    return unique_inferredconclusions
-  end
-
-
-
-  def displayLoopedInferredTruths
-
-      #get first set of inferences from initial collection set
-      inferredtruths = self.getUniqueInferredTruths
-      #combine with existing - on first interation will be comined with empty array
-      combinedset = self.combineSets(inferredtruths)
-
-      puts "======================="
-      puts "first set of inferences"
-      puts inferredtruths.count
-      puts "======================="
-
-
-      self.displayAllValidSyllogisms
-      self.displayUniqueSyllogisms
-      self.displayInferredTruths
-
-
-      while (inferredtruths.count != 0)
-
-      ## create new collection object
-      newcollection = PremiseCollection.new(combinedset)
-
-      ## get next set of inferences
-
-      #reset inferred truths
-      inferredtruths = newcollection.getUniqueInferredTruths
-      #rest combined set
-      combinedset = newcollection.combineSets(inferredtruths)
-
-      puts "======================="
-      puts "next set of inferences"
-      puts inferredtruths.count
-      puts "======================="
-
-      #display inferred set
-      newcollection.displayAllValidSyllogisms
-      newcollection.displayUniqueSyllogisms
-      newcollection.displayInferredTruths
-
-    end
-  end
-
-
-  def combineSets(newset)
-    newcollection = []
-
-    newcollection << @collection
-    newcollection << newset
-
-
-    return newcollection.flatten
+    return unique_set
   end
-
-
-
-  def reduceToUniqueSet
-    unique_knownconclusions = []
-
-    @collection.each do |conclusion|
-      if unique_knownconclusions.count == 0
-        unique_knownconclusions << conclusion
-      elsif conclusion.isUnique?(unique_knownconclusions)
-        unique_knownconclusions << conclusion
+  def premise_pairs
+    pairs = []
+      @collection_array.each do |proposition|
+        @collection_array.each do |secondproposition|
+        unless proposition.same_as?(secondproposition)
+          pairs << PremisePair.new(proposition, secondproposition)
+        end
       end
-
-
     end
-    return unique_knownconclusions
-end
-
-  def displayInferredTruths
-    truths = self.getUniqueInferredTruths
-    puts 
-    puts "==== Begin Display All Unique Inferred Truths ==="
-    truths.each do |truth|
-      truth.displayProposition
-    end
-    puts "==== End Display All Unique Inferred Truths ==="
-    puts
-
   end
+end
 
-  def displayAllValidSyllogisms
-    puts
-    puts "====== Begin Display All Valid Syllogisms==="
-    allvalidsyllogisms = self.getAllValidSyllogisms
-    allvalidsyllogisms.each do |syllogism|
-      syllogism.displayForm
-      syllogism.displaySyllogism
-      puts
-    end
-    puts "======End All Vallid Syllogisms==="
-    puts
-  end
-
-  def displayUniqueSyllogisms
-
-    puts
-    puts "======Begin Display All Syllogism Producing new truths==="
-    uniquevalidsyllogisms = self.getUniqueValidSyllogisms
-    uniquevalidsyllogisms.each do |syllogism|
-      syllogism.displayForm
-      syllogism.displaySyllogism
-      puts
-    end
-    puts "======End Display All Syllogism Producing new truths==="
-    puts
-
-  end
-
-
-  def getNumberOfInferredTruths
-    self.getUniqueInferredTruths.count
-  end
-  def getNumberOfInputTruths
-    @collection.count
-  end
-  def getRatioInputToInferred
-    self.getNumberOfInferredTruths / self.getNumberOfInputTruths
-  end
-end

data/lib/catlogic/proposition.rb

@@ -155,6 +155,18 @@ class Proposition
     return distribution
   end
 
+  def same_as?(proposition)
+    if (proposition.quantity.label == self.quantity.label &&
+        proposition.subject.label == self.subject.label &&
+        proposition.quality.label == self.quality.label &&
+        proposition.predicate.label == self.predicate.label &&
+        proposition.truthvalue == self.truthvalue)
+      true
+    else
+      false
+    end
+  end
+
   def unique?(set)
     numerofoccurences = self.number_of_occurences(set)
     if numerofoccurences == 0
@@ -167,11 +179,7 @@ class Proposition
   def number_of_occurences(set)
     @occurences = 0
     set.each do |proposition|
-      if (proposition.quantity.label == self.quantity.label && 
-        proposition.subject.label == self.subject.label && 
-        proposition.quality.label == self.quality.label && 
-        proposition.predicate.label == self.predicate.label && 
-        proposition.truthvalue == self.truthvalue)
+      if self.same_as?(proposition)
         @occurences += 1
       end
     end

data/lib/catlogic/version.rb

@@ -1,3 +1,3 @@
 module Catlogic
-  VERSION = "0.0.1"
+  VERSION = "0.0.2"
 end

data/scripts/displayInferredTruths.rb

@@ -0,0 +1,259 @@
+#!/usr/bin/env ruby
+
+begin
+  require 'catlogic'
+rescue LoadError
+  require 'rubygems'
+  require 'catlogic'
+end
+
+premises2 = [Proposition.new("universal", "Mammals", "affirmative", "Mortal Things", true),
+            Proposition.new("universal", "People", "affirmative", "Mammals", true)]
+
+premises3 = [Proposition.new("universal", "Mammals", "affirmative", "Mortal Things", true),
+            Proposition.new("universal", "People", "affirmative", "Mammals", true), 
+            Proposition.new("universal", "Ants", "negative", "Mammals", true)]
+
+
+premises4 = [Proposition.new("universal", "planes", "affirmative", "things with wings", true),
+            Proposition.new("particular", "planes", "affirmative", "things with propellors", true),
+            Proposition.new("universal", "pilots", "affirmative", "things that fly planes", true),
+            Proposition.new("universal", "things that fly planes", "affirmative", "tall things", true)]
+
+premises5 = [Proposition.new("universal", "dogs", "affirmative", "animals", true),
+            Proposition.new("universal", "cats", "affirmative", "animals", true),
+            Proposition.new("universal", "animals", "affirmative", "mortals", true),
+            Proposition.new("universal", "mortals", "affirmative", "things that disintegrate", true),
+            Proposition.new("particular", "dogs", "affirmative", "brown", true)]
+            
+
+
+
+
+        	
+
+collection = PremiseCollection.new(premises4)
+
+
+puts "==============="
+puts "intial set"
+puts premises4.count
+puts 
+premises4.each do |proposition|
+proposition.displayProposition
+end
+puts "==============="
+
+collection.displayLoopedInferredTruths
+#puts "#{collection.getNumberOfInferredTruths} / #{collection.getNumberOfInputTruths}: #{collection.getRatioInputToInferred}/1"
+
+=begin
+ def getAllValidSyllogisms
+
+    if @collection.count < 2
+      puts "collection must include two or more propositions"
+    else
+      #inputconclusions = @collection
+      validsyllogisms = []
+      pairs = []
+
+      @collection.each do |proposition|
+
+        @collection.each do |secondproposition|
+          unless proposition.equal? secondproposition
+            pairs << PremisePair.new(proposition, secondproposition)
+          end
+        end
+      end
+      pairs.each do |pair|
+        if pair.isThreeTermPair?
+          conclusions = pair.getPossibleConclusions
+          conclusions.each do |conclusion|
+            syllogism = Syllogism.new(pair.getMajor, pair.getMinor, conclusion)
+            if syllogism.validity == "valid"
+              validsyllogisms << syllogism
+            end
+          end
+        end
+      end
+    end
+    return validsyllogisms
+  end
+
+  def getUniqueValidSyllogisms
+      inputconclusions = @collection
+      validsyllogisms = self.getAllValidSyllogisms
+      uniquevalidsyllogisms = []
+
+      validsyllogisms.each do |syllogism|
+      validconclusion = syllogism.getConclusion
+        if (validconclusion.isUnique?(inputconclusions))
+                  uniquevalidsyllogisms << syllogism
+        end
+      end
+    return uniquevalidsyllogisms
+  end
+=end
+
+=begin
+  def getUniqueInferredTruths
+
+    uniquevalidsyllogisms = self.getUniqueValidSyllogisms
+    uniqueinferredtruths = []
+
+    uniquevalidsyllogisms.each do |syllogism|
+      uniqueinferredtruths << syllogism.getConclusion
+    end
+
+    return uniqueinferredtruths
+  end
+=end
+
+=begin
+def getAllInferredTruths
+  inputconclusions = @collection
+  inferredconclusions = []
+
+  validsyllogisms = self.getAllValidSyllogisms
+  validsyllogisms.each do |syllogism|
+    validconclusion = syllogism.getConclusion
+
+    if (validconclusion.isUnique?(inputconclusions))
+      inferredconclusions << validconclusion
+    end
+  end
+  return inferredconclusions
+end
+
+
+def getUniqueInferredTruths
+  newset = PremiseCollection.new(self.getAllInferredTruths)
+  unique_inferredconclusions = newset.reduceToUniqueSet
+  return unique_inferredconclusions
+end
+
+
+
+def displayLoopedInferredTruths
+
+  #get first set of inferences from initial collection set
+  inferredtruths = self.getUniqueInferredTruths
+  #combine with existing - on first interation will be comined with empty array
+  combinedset = self.combineSets(inferredtruths)
+
+  puts "======================="
+  puts "first set of inferences"
+  puts inferredtruths.count
+  puts "======================="
+
+
+  self.displayAllValidSyllogisms
+  self.displayUniqueSyllogisms
+  self.displayInferredTruths
+
+
+  while (inferredtruths.count != 0)
+
+    ## create new collection object
+    newcollection = PremiseCollection.new(combinedset)
+
+    ## get next set of inferences
+
+    #reset inferred truths
+    inferredtruths = newcollection.getUniqueInferredTruths
+    #rest combined set
+    combinedset = newcollection.combineSets(inferredtruths)
+
+    puts "======================="
+    puts "next set of inferences"
+    puts inferredtruths.count
+    puts "======================="
+
+    #display inferred set
+    newcollection.displayAllValidSyllogisms
+    newcollection.displayUniqueSyllogisms
+    newcollection.displayInferredTruths
+
+  end
+end
+
+
+def combineSets(newset)
+  newcollection = []
+
+  newcollection << @collection
+  newcollection << newset
+
+
+  return newcollection.flatten
+end
+
+
+
+def reduceToUniqueSet
+  unique_knownconclusions = []
+
+  @collection.each do |conclusion|
+    if unique_knownconclusions.count == 0
+      unique_knownconclusions << conclusion
+    elsif conclusion.isUnique?(unique_knownconclusions)
+      unique_knownconclusions << conclusion
+    end
+
+
+  end
+  return unique_knownconclusions
+end
+
+def displayInferredTruths
+  truths = self.getUniqueInferredTruths
+  puts
+  puts "==== Begin Display All Unique Inferred Truths ==="
+  truths.each do |truth|
+    truth.displayProposition
+  end
+  puts "==== End Display All Unique Inferred Truths ==="
+  puts
+
+end
+
+def displayAllValidSyllogisms
+  puts
+  puts "====== Begin Display All Valid Syllogisms==="
+  allvalidsyllogisms = self.getAllValidSyllogisms
+  allvalidsyllogisms.each do |syllogism|
+    syllogism.displayForm
+    syllogism.displaySyllogism
+    puts
+  end
+  puts "======End All Vallid Syllogisms==="
+  puts
+end
+
+def displayUniqueSyllogisms
+
+  puts
+  puts "======Begin Display All Syllogism Producing new truths==="
+  uniquevalidsyllogisms = self.getUniqueValidSyllogisms
+  uniquevalidsyllogisms.each do |syllogism|
+    syllogism.displayForm
+    syllogism.displaySyllogism
+    puts
+  end
+  puts "======End Display All Syllogism Producing new truths==="
+  puts
+
+end
+
+
+def getNumberOfInferredTruths
+  self.getUniqueInferredTruths.count
+end
+def getNumberOfInputTruths
+  @collection.count
+end
+def getRatioInputToInferred
+  self.getNumberOfInferredTruths / self.getNumberOfInputTruths
+end
+
+=end

data/{bin2 → scripts}/getAllValidPropositions.rb

@@ -1,6 +1,11 @@
 #!/usr/bin/env ruby
 
-require_relative "../lib/catlog.rb"
+begin
+  require 'catlogic'
+rescue LoadError
+  require 'rubygems'
+  require 'catlogic'
+end
 
 typeArray = ["A", "E", "I", "O"]
 numberArray = [1,2,3,4]
@@ -16,7 +21,7 @@ numberArray.each do |i|
 				form = Form.new(mood, Figure.new(i))
 	
 			if form.validity == true
-				puts form.label
+				puts form.label + " " + form.name
 			end
 		end
 	end

data/{bin2 → scripts}/testCombineSets.rb

@@ -1,6 +1,11 @@
 #!/usr/bin/env ruby
 
-require_relative "../lib/catlog.rb"
+begin
+  require 'catlogic'
+rescue LoadError
+  require 'rubygems'
+  require 'catlogic'
+end
 
 premises1 = [Proposition.new("universal", "dogs", "affirmative", "animals", true),
              Proposition.new("universal", "cats", "affirmative", "animals", true),

data/{bin2 → scripts}/testIfUnique.rb

@@ -1,6 +1,11 @@
 #!/usr/bin/env ruby
 
-require_relative "../lib/catlogic.rb"
+begin
+  require 'catlogic'
+rescue LoadError
+  require 'rubygems'
+  require 'catlogic'
+end
 
 premisesArray = [Proposition.new(Quantity.new("universal"), Term.new("Events"), Quality.new("affirmative"), Term.new("Caused Happenings"), true),
             Proposition.new(Quantity.new("universal"), Term.new("Free Decisions"), Quality.new("negative"), Term.new("Caused Happenings"), true),

data/{bin2 → scripts}/testPremisePair.rb

@@ -1,6 +1,11 @@
 #!/usr/bin/env ruby
 
-require_relative "../lib/catlog.rb"
+begin
+  require 'catlogic'
+rescue LoadError
+  require 'rubygems'
+  require 'catlogic'
+end
 
 premise1 = Proposition.new("universal", "Mammals", "affirmative", "Dogs", true)
 premise2 = Proposition.new("universal", "Mammals", "affirmative", "Mortal Things", true)

data/{bin2 → scripts}/testProposition.rb

@@ -1,6 +1,5 @@
 #!/usr/bin/env ruby
 
-#require_relative "../lib/catlogic"
 begin
   require 'catlogic'
 rescue LoadError

data/{bin2 → scripts}/testPropositionType.rb

@@ -1,6 +1,11 @@
 #!/usr/bin/env ruby
 
-require_relative "../lib/catlogic"
+begin
+  require 'catlogic'
+rescue LoadError
+  require 'rubygems'
+  require 'catlogic'
+end
 
 type = PropositionType.new("O", true)
 proposition = type.proposition

data/{bin2 → scripts}/testReduceToUniqueSet.rb

@@ -1,6 +1,11 @@
 #!/usr/bin/env ruby
 
-require_relative "../lib/catlog.rb"
+begin
+  require 'catlogic'
+rescue LoadError
+  require 'rubygems'
+  require 'catlogic'
+end
 
 premisesArray = [Proposition.new("universal", "Events", "affirmative", "Caused Happenings", true),
                  Proposition.new("universal", "Free Decisions", "negative", "Caused Happenings", true),

data/{bin2 → scripts}/testSyllogism.rb

@@ -1,6 +1,11 @@
 #!/usr/bin/env ruby
 
-require_relative "../lib/catlogic"
+begin
+  require 'catlogic'
+rescue LoadError
+  require 'rubygems'
+  require 'catlogic'
+end
 
 major = Proposition.new(Quantity.new("universal"), Term.new("pollution free"), Quality.new("negative"), Term.new("completely efficient"), true)
 minor = Proposition.new(Quantity.new("universal"), Term.new("automobile"), Quality.new("negative"), Term.new("completely efficient"), true)

data/{bin2 → scripts}/testSyllogismForm.rb

@@ -1,6 +1,11 @@
 #!/usr/bin/env ruby
 
-require_relative "../lib/catlogic"
+begin
+  require 'catlogic'
+rescue LoadError
+  require 'rubygems'
+  require 'catlogic'
+end
 
 mood = Mood.new(PropositionType.new("A"), PropositionType.new("A"), PropositionType.new("A"))
 figure = Figure.new(3)

data/spec/form_spec.rb

@@ -19,4 +19,9 @@ describe "form object" do
 
     major.label == "All M are P" && minor.label == "All S are M" && conclusion.label == "All S are P"
   end
+
+  it "should return the name 'Barbara' for a AAA1 syllogism" do 
+    name = $form.name
+    name.should == "Barbara"
+  end
 end

data/spec/premise_collection_spec.rb

@@ -0,0 +1,41 @@
+require 'spec_helper'
+require 'catlogic'
+
+describe "premise collection object" do
+
+  $collection2 = PremiseCollection.new([Proposition.new(Quantity.new("universal"), Term.new("Mammals"), Quality.new("affirmative"), Term.new("Mortal Things"), true),
+               Proposition.new(Quantity.new("universal"), Term.new("People"), Quality.new("affirmative"), Term.new("Mammals"), true)])
+
+  $collection3 = PremiseCollection.new([Proposition.new(Quantity.new("universal"), Term.new("Mammals"), Quality.new("affirmative"), Term.new("Mortal Things"), true),
+                Proposition.new(Quantity.new("universal"), Term.new("People"), Quality.new("affirmative"), Term.new("Mammals"), true),
+                Proposition.new(Quantity.new("universal"), Term.new("Ants"), Quality.new("Negative"), Term.new("Mammals"), true)])
+
+  it "should confirm that there are two or more premises in the collection" do
+    result = $collection2.at_least_two?
+    result.should == true
+  end
+
+  it 'should return the size of the collection3 as 3 (aka the number of propositions in the collection' do
+    result = $collection3.size
+    result.should == 3
+  end
+
+  it 'should reduce collection to unique propositions only and return count of 3' do
+    result = $collection3.unique_set
+    result.count.should == 3
+  end
+
+  it 'should reduce non-unique collection to unique propositions only and return count of 2' do
+    collection = PremiseCollection.new([Proposition.new(Quantity.new("universal"), Term.new("Mammals"), Quality.new("affirmative"), Term.new("Mortal Things"), true),
+                                          Proposition.new(Quantity.new("universal"), Term.new("Mammals"), Quality.new("affirmative"), Term.new("Mortal Things"), true),
+                                          Proposition.new(Quantity.new("universal"), Term.new("Ants"), Quality.new("Negative"), Term.new("Mammals"), true)])
+    result = collection.unique_set
+    result.count.should == 2
+
+  end
+
+  it 'should return a premise pair collection for two propositions whose set count is 2' do
+    result = $collection2.premise_pairs
+    result.count.should == 2
+  end
+end

data/spec/proposition_spec.rb

@@ -212,4 +212,19 @@ describe 'proposition object' do
 
       result.should == false
   end
+
+  it 'can return answer false for two propositions that are not identical' do
+        prop1 = Proposition.new(Quantity.new("universal"), Term.new("Events"), Quality.new("affirmative"), Term.new("Caused Happenings"), true)
+        prop2 = Proposition.new(Quantity.new("universal"), Term.new("Free Decisions"), Quality.new("negative"), Term.new("Caused Happenings"), true)
+        result = prop1.same_as?(prop2)
+        result.should == false
+  end
+  it 'can return answer true for two propositions that are identical' do
+    prop1 = Proposition.new(Quantity.new("universal"), Term.new("Events"), Quality.new("affirmative"), Term.new("Caused Happenings"), true)
+    prop2 = Proposition.new(Quantity.new("universal"), Term.new("Events"), Quality.new("affirmative"), Term.new("Caused Happenings"), true)
+    result = prop1.same_as?(prop2)
+    result.should == true
+  end
+
+
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: catlogic
 version: !ruby/object:Gem::Version
-  version: 0.0.1
+  version: 0.0.2
 platform: ruby
 authors:
 - Jeffrey C. Witt
@@ -81,25 +81,6 @@ files:
 - LICENSE.txt
 - README.md
 - Rakefile
-- bin2/.idea/.name
-- bin2/.idea/bin.iml
-- bin2/.idea/encodings.xml
-- bin2/.idea/misc.xml
-- bin2/.idea/modules.xml
-- bin2/.idea/scopes/scope_settings.xml
-- bin2/.idea/vcs.xml
-- bin2/.idea/workspace.xml
-- bin2/displayInferredTruths.rb
-- bin2/getAllValidPropositions.rb
-- bin2/testCombineSets.rb
-- bin2/testIfUnique.rb
-- bin2/testPremisePair.rb
-- bin2/testProposition.rb
-- bin2/testPropositionType.rb
-- bin2/testQuantity.rb
-- bin2/testReduceToUniqueSet.rb
-- bin2/testSyllogism.rb
-- bin2/testSyllogismForm.rb
 - catlogic.gemspec
 - lib/catlogic.rb
 - lib/catlogic/distribution.rb
@@ -115,10 +96,30 @@ files:
 - lib/catlogic/syllogism.rb
 - lib/catlogic/term.rb
 - lib/catlogic/version.rb
+- scripts/.idea/.name
+- scripts/.idea/bin.iml
+- scripts/.idea/encodings.xml
+- scripts/.idea/misc.xml
+- scripts/.idea/modules.xml
+- scripts/.idea/scopes/scope_settings.xml
+- scripts/.idea/vcs.xml
+- scripts/.idea/workspace.xml
+- scripts/displayInferredTruths.rb
+- scripts/getAllValidPropositions.rb
+- scripts/testCombineSets.rb
+- scripts/testIfUnique.rb
+- scripts/testPremisePair.rb
+- scripts/testProposition.rb
+- scripts/testPropositionType.rb
+- scripts/testQuantity.rb
+- scripts/testReduceToUniqueSet.rb
+- scripts/testSyllogism.rb
+- scripts/testSyllogismForm.rb
 - spec/distribution_spec.rb
 - spec/figure_spec.rb
 - spec/form_spec.rb
 - spec/mood_spec.rb
+- spec/premise_collection_spec.rb
 - spec/premise_pair_spec.rb
 - spec/proposition_spec.rb
 - spec/proposition_type_spec.rb
@@ -156,6 +157,7 @@ test_files:
 - spec/figure_spec.rb
 - spec/form_spec.rb
 - spec/mood_spec.rb
+- spec/premise_collection_spec.rb
 - spec/premise_pair_spec.rb
 - spec/proposition_spec.rb
 - spec/proposition_type_spec.rb

data/bin2/displayInferredTruths.rb

@@ -1,43 +0,0 @@
-#!/usr/bin/env ruby
-
-require_relative "../lib/catlog.rb"
-
-premises2 = [Proposition.new("universal", "Mammals", "affirmative", "Mortal Things", true),
-            Proposition.new("universal", "People", "affirmative", "Mammals", true)]
-
-premises3 = [Proposition.new("universal", "Mammals", "affirmative", "Mortal Things", true),
-            Proposition.new("universal", "People", "affirmative", "Mammals", true), 
-            Proposition.new("universal", "Ants", "negative", "Mammals", true)]
-
-
-premises4 = [Proposition.new("universal", "planes", "affirmative", "things with wings", true),
-            Proposition.new("particular", "planes", "affirmative", "things with propellors", true),
-            Proposition.new("universal", "pilots", "affirmative", "things that fly planes", true),
-            Proposition.new("universal", "things that fly planes", "affirmative", "tall things", true)]
-
-premises5 = [Proposition.new("universal", "dogs", "affirmative", "animals", true),
-            Proposition.new("universal", "cats", "affirmative", "animals", true),
-            Proposition.new("universal", "animals", "affirmative", "mortals", true),
-            Proposition.new("universal", "mortals", "affirmative", "things that disintegrate", true),
-            Proposition.new("particular", "dogs", "affirmative", "brown", true)]
-            
-
-
-
-
-        	
-
-collection = PremiseCollection.new(premises4)
-
-
-puts "==============="
-puts "intial set"
-puts premises4.count
-puts 
-premises4.each do |proposition|
-proposition.displayProposition
-end
-puts "==============="
-
-collection.displayLoopedInferredTruths
-#puts "#{collection.getNumberOfInferredTruths} / #{collection.getNumberOfInputTruths}: #{collection.getRatioInputToInferred}/1"