syllogism 0.1.0 → 0.2.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 2a4c518dea8c0143286b978109c6b817f405594d7b0b5b6594d3a064ad939a02
-  data.tar.gz: c5de24d6472be0aa3266924734f52052ca8171fa36c8605bc44c302f0027298e
+  metadata.gz: a6611c1ac7aedc538dbf5d55944bff8e98c780fe2951e23f1b4f6c1d09a25de3
+  data.tar.gz: 37d5b0b6458e970dff65057733e06783f1e40bac8135d09a69e74f37c7259b76
 SHA512:
-  metadata.gz: abacbd989dcd3255bf90038ed25bc01362994610272067eff8f42cc5ac3ecbd4f8680c717d09232c079923c41b4e19286963b2249894565055e19f0681b920e3
-  data.tar.gz: 22d3ed160079a7ed1e96074fec616272dee0fb96516eb788bcc80830257407708ba41555ba65987095a4af57fdbd0c5d757325e3ab6f07abad3159962d789801
+  metadata.gz: f6faccb91d838b5e9834ce178b2530ba02a5ba2dbd09319b61ae3225cd04e73d76fcb35c29f4948ab1bba43ce91582f97bd3722dfcfe31db7a29cebdf17b4028
+  data.tar.gz: '09feaa85885909252e80cc2e6987056df2388d7fb5e4dae8399d2fb574c455c058f4e2174f7085eaed0803954cb5680940de00ca1329f5a3e2864d906940e36b'

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    syllogism (0.1.0)
+    syllogism (0.2.0)
 
 GEM
   remote: https://rubygems.org/

data/README.md

@@ -35,8 +35,13 @@ end
 
 # Entire arguments:
 Syllogism['all P is S', 'j is P', 'j is S'].valid? # => true
-
 Syllogism['no A is B', 'no C is A', 'no C is B'].valid? # => false
+
+# Arguments with the same logical form are considered equivalent:
+argument = Syllogism["all A is B", "some C is A", "some C is B"]
+other_argument = Syllogism["all X is Y", "some Z is X", "some Z is Y"]
+
+argument == other_argument # => true
 ```
 
 ## Development

data/lib/syllogism.rb

@@ -30,6 +30,12 @@ class Syllogism
     @statements = statements
   end
 
+  def ==(other)
+    premises.map(&:formula).sort == other.premises.map(&:formula) &&
+      conclusion.formula == other.conclusion.formula &&
+      valid? == valid?
+  end
+
   def premises
     @premises ||= statements.take(statements.length - 1)
   end

data/lib/syllogism/statement.rb

@@ -25,6 +25,10 @@ class Syllogism
       TermDistributor.new(self).call
     end
 
+    def formula
+      formula_checker.formula
+    end
+
     def general_terms
       terms.select { |term| term.instance_of?(GeneralTerm) }
     end
@@ -64,12 +68,16 @@ class Syllogism
 
     TERM_TYPES = [GeneralTerm, SingularTerm].freeze
 
+    def formula_checker
+      @formula_checker ||= WffChecker.new(self)
+    end
+
     def known_atoms?
       unknown.none?
     end
 
     def known_formula?
-      WffChecker.new(self).any?
+      formula_checker.any?
     end
 
     def unknown

data/lib/syllogism/version.rb

@@ -1,3 +1,3 @@
 class Syllogism
-  VERSION = "0.1.0"
+  VERSION = "0.2.0"
 end

data/lib/syllogism/wff_checker.rb

@@ -5,9 +5,13 @@ class Syllogism
     end
 
     def any?
-      WELL_FORMED_FORMULAS.any? do |formula|
-        atom_types == formula
-      end
+      formula && !formula.empty?
+    end
+
+    def formula
+      @formula ||= WELL_FORMED_FORMULAS.find do |formula_type|
+        atom_types == formula_type
+      end.to_s
     end
 
     private

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: syllogism
 version: !ruby/object:Gem::Version
-  version: 0.1.0
+  version: 0.2.0
 platform: ruby
 authors:
 - Jayson Virissimo
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2021-05-26 00:00:00.000000000 Z
+date: 2021-06-02 00:00:00.000000000 Z
 dependencies: []
 description: Proof checker for arguments in Aristotle's term logic
 email: