syllogism 0.2.0 → 0.2.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: a6611c1ac7aedc538dbf5d55944bff8e98c780fe2951e23f1b4f6c1d09a25de3
-  data.tar.gz: 37d5b0b6458e970dff65057733e06783f1e40bac8135d09a69e74f37c7259b76
+  metadata.gz: 26dd7a01178ea39e1474914a56f16b4f903b302acda0f78d662000c137b85a00
+  data.tar.gz: 6a657acaef3ec4485eedd43ca25f3d649e6657eb0f80233b86c1649f405b36bd
 SHA512:
-  metadata.gz: f6faccb91d838b5e9834ce178b2530ba02a5ba2dbd09319b61ae3225cd04e73d76fcb35c29f4948ab1bba43ce91582f97bd3722dfcfe31db7a29cebdf17b4028
-  data.tar.gz: '09feaa85885909252e80cc2e6987056df2388d7fb5e4dae8399d2fb574c455c058f4e2174f7085eaed0803954cb5680940de00ca1329f5a3e2864d906940e36b'
+  metadata.gz: c1d328e06496620c3a660f69694a46f7071ffc75df431220a5775a77cb96f50d87f2436c7aeea0fd7ffd73a5efac454d93230c933dfe482135aba180ea129f50
+  data.tar.gz: 3f3a1de1da37f1e8f74f0495c865cac13fd858734ec6ec38067fa54c42f0493c1196779f5b37ab9550c25c80251a4c6f1d390903b8cc03d5bbd4d0566f387fce

data/.tool-versions

@@ -0,0 +1 @@
+ruby 3.0.2

data/Gemfile.lock

@@ -1,26 +1,26 @@
 PATH
   remote: .
   specs:
-    syllogism (0.2.0)
+    syllogism (0.2.2)
 
 GEM
   remote: https://rubygems.org/
   specs:
-    diff-lcs (1.4.4)
+    diff-lcs (1.5.0)
     rake (12.3.3)
-    rspec (3.10.0)
-      rspec-core (~> 3.10.0)
-      rspec-expectations (~> 3.10.0)
-      rspec-mocks (~> 3.10.0)
-    rspec-core (3.10.1)
-      rspec-support (~> 3.10.0)
-    rspec-expectations (3.10.1)
+    rspec (3.12.0)
+      rspec-core (~> 3.12.0)
+      rspec-expectations (~> 3.12.0)
+      rspec-mocks (~> 3.12.0)
+    rspec-core (3.12.0)
+      rspec-support (~> 3.12.0)
+    rspec-expectations (3.12.0)
       diff-lcs (>= 1.2.0, < 2.0)
-      rspec-support (~> 3.10.0)
-    rspec-mocks (3.10.2)
+      rspec-support (~> 3.12.0)
+    rspec-mocks (3.12.0)
       diff-lcs (>= 1.2.0, < 2.0)
-      rspec-support (~> 3.10.0)
-    rspec-support (3.10.2)
+      rspec-support (~> 3.12.0)
+    rspec-support (3.12.0)
 
 PLATFORMS
   ruby

data/README.md

@@ -42,6 +42,10 @@ 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
+
+# Generate random argument
+Syllogism.sample.statements.map(&:to_s)
+=> ["all M is C", "no L is M", "some L is C"]
 ```
 
 ## Development

data/lib/syllogism/general_term.rb

@@ -6,6 +6,6 @@ class Syllogism
 
     private
 
-    GENERAL_TERM_VALUES = ("A".."Z").freeze
+    GENERAL_TERM_VALUES = ("A".."Z")
   end
 end

data/lib/syllogism/singular_term.rb

@@ -6,6 +6,6 @@ class Syllogism
 
     private
 
-    SINGULAR_TERM_VALUES = ("a".."z").freeze
+    SINGULAR_TERM_VALUES = ("a".."z")
   end
 end

data/lib/syllogism/version.rb

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

data/lib/syllogism.rb

@@ -25,15 +25,32 @@ class Syllogism
     new(raw_statements.map { |raw_statement| Statement.parse(raw_statement) })
   end
 
+  def self.random_statement(letter, other_letter)
+    case (1..4).to_a.sample
+    when 1 then "all #{letter} is #{other_letter}"
+    when 2 then "no #{letter} is #{other_letter}"
+    when 3 then "some #{letter} is #{other_letter}"
+    when 4 then "some #{letter} is #{other_letter}"
+    end
+  end
+
+  def self.sample
+    first, second, third = ("A".."Z").to_a.sample(3)
+    parse(
+      random_statement(first, second),
+      random_statement(third, first),
+      random_statement(third, second)
+    )
+  end
+
   def initialize(statements)
     @errors = []
     @statements = statements
   end
 
   def ==(other)
-    premises.map(&:formula).sort == other.premises.map(&:formula) &&
-      conclusion.formula == other.conclusion.formula &&
-      valid? == valid?
+    premises.map(&:formula).sort == other.premises.map(&:formula).sort &&
+      conclusion.formula == other.conclusion.formula
   end
 
   def premises

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: syllogism
 version: !ruby/object:Gem::Version
-  version: 0.2.0
+  version: 0.2.2
 platform: ruby
 authors:
 - Jayson Virissimo
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2021-06-02 00:00:00.000000000 Z
+date: 2022-11-22 00:00:00.000000000 Z
 dependencies: []
 description: Proof checker for arguments in Aristotle's term logic
 email:
@@ -20,6 +20,7 @@ files:
 - ".github/workflows/test.yml"
 - ".gitignore"
 - ".rspec"
+- ".tool-versions"
 - Gemfile
 - Gemfile.lock
 - LICENSE.txt
@@ -67,7 +68,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.0.3
+rubygems_version: 3.3.5
 signing_key:
 specification_version: 4
 summary: Proof checker for arguments in Aristotle's term logic