syllogism 0.2.1 → 0.3.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 6ad005a2e8bd7ddc588c2560ce9909beabe56596d768887ce4b859e7c6a3ee20
-  data.tar.gz: 44d9c5fa05434ba543be9b2ac30e6a424f58d7339b91156272dccd17788b5adb
+  metadata.gz: 699731ccbe8b1c48b8e052f4afa11cdbf2bdddd0a39d5e4f0592816f81435320
+  data.tar.gz: f96c3d39000c0cafc6797ba430fd04de8a591a52244c7c9775a32f27f5a82d3f
 SHA512:
-  metadata.gz: f86543e5b34a1039a6fcb45540c67495724095859c39713d838258613d2bfaaaa0ac1f8b06046bb8821902fe817b3d78ae29fcba4472509478b9f301d0ae8fdb
-  data.tar.gz: 191175b76be5a5ef38c900de8dfe9dc800575325361fb5d8affbb39386294e009f7efc8b27844dc6cf04162093f1f806556336fe5738f2d2a43f428ffacc4db1
+  metadata.gz: d6d90cf575f4eb719a32052eb148fb09645f15f7837d8b8d3278ab66775abc0ffcaf9b83e55241d9f7f096044824f735e84f3d0d2b0324befdf02c88bccbc52d
+  data.tar.gz: 6a2b04a1126d0db9cc7314f04c5fb144971492ce9b71593e897fb76eac432cefc5191241026d93c3ee99092bd5bcc84234e324fd01a4cd24b4d88847d7f6c26f

data/.github/workflows/test.yml

@@ -1,4 +1,4 @@
-name: Tests 
+name: Tests
 
 on:
   pull_request:
@@ -16,14 +16,13 @@ jobs:
       fail-fast: false
       matrix:
         os:
-          - macos 
+          - macos
           - ubuntu
         ruby:
-          - 2.4
-          - 2.5
-          - 2.6
-          - 2.7
           - 3.0
+          - 3.1
+          - 3.2
+          - 3.3
         allow_failures:
           - false
         include:
@@ -44,4 +43,4 @@ jobs:
           ruby-version: ${{ matrix.ruby }}
           bundler-cache: true
       - name: Test
-        run: bundle exec rake spec || $ALLOW_FAILURES
+        run: bundle exec rake spec || $ALLOW_FAILURES

data/.gitignore

@@ -9,3 +9,6 @@
 
 # rspec failure tracking
 .rspec_status
+
+# macOS
+.DS_Store

data/.tool-versions

@@ -0,0 +1 @@
+ruby 3.3.0

data/Gemfile.lock

@@ -1,26 +1,26 @@
 PATH
   remote: .
   specs:
-    syllogism (0.2.1)
+    syllogism (0.3.0)
 
 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
@@ -31,4 +31,4 @@ DEPENDENCIES
   syllogism!
 
 BUNDLED WITH
-   2.1.2
+   2.4.1

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.3.0"
 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

data/syllogism.gemspec

@@ -10,7 +10,7 @@ Gem::Specification.new do |spec|
   spec.description = "Proof checker for arguments in Aristotle's term logic"
   spec.homepage = "https://github.com/jaysonvirissimo/syllogism"
   spec.license = "MIT"
-  spec.required_ruby_version = Gem::Requirement.new(">= 2.3.0")
+  spec.required_ruby_version = Gem::Requirement.new(">= 2.6.0")
 
   spec.metadata["allowed_push_host"] = "https://rubygems.org/"
 

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: syllogism
 version: !ruby/object:Gem::Version
-  version: 0.2.1
+  version: 0.3.0
 platform: ruby
 authors:
 - Jayson Virissimo
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2021-06-02 00:00:00.000000000 Z
+date: 2024-01-20 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
@@ -60,14 +61,14 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: 2.3.0
+      version: 2.6.0
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.0.3
+rubygems_version: 3.5.3
 signing_key:
 specification_version: 4
 summary: Proof checker for arguments in Aristotle's term logic