syllogism 0.2.1 → 0.2.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 6ad005a2e8bd7ddc588c2560ce9909beabe56596d768887ce4b859e7c6a3ee20
-  data.tar.gz: 44d9c5fa05434ba543be9b2ac30e6a424f58d7339b91156272dccd17788b5adb
+  metadata.gz: 26dd7a01178ea39e1474914a56f16b4f903b302acda0f78d662000c137b85a00
+  data.tar.gz: 6a657acaef3ec4485eedd43ca25f3d649e6657eb0f80233b86c1649f405b36bd
 SHA512:
-  metadata.gz: f86543e5b34a1039a6fcb45540c67495724095859c39713d838258613d2bfaaaa0ac1f8b06046bb8821902fe817b3d78ae29fcba4472509478b9f301d0ae8fdb
-  data.tar.gz: 191175b76be5a5ef38c900de8dfe9dc800575325361fb5d8affbb39386294e009f7efc8b27844dc6cf04162093f1f806556336fe5738f2d2a43f428ffacc4db1
+  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.1)
+    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.1"
+  VERSION = "0.2.2"
 end

data/lib/syllogism.rb

@@ -25,6 +25,24 @@ 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

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: syllogism
 version: !ruby/object:Gem::Version
-  version: 0.2.1
+  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