logical 0.1.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: bb55f971f918847f159a6a7fdcc67f17c51c6736d73dc2ee091db074434325fc
+  data.tar.gz: 9ba1f2d2899cbc7a727d30b1da242dfdd33d894fc11ca1c7ed5ecfc6f1a5223d
+SHA512:
+  metadata.gz: 0b1a3b9c292a16e9ac176260b34ec45b79ca1efaf74aaaaa1ab365c9cbe20e56e6a9ce7a62cf38bc88ca942a7beb23b28100784e9f0c8d2703616f830858810f
+  data.tar.gz: cb983b292c5cb3bcd2efd41243be84975a26ffc8f16389de81a32ce6c4cdff88d783d6343fc5f2b3b1ff0bb9aa5341785deb222c594644a2c027487d37c7f364

data/lib/logical/algorithms/truth_table.rb

@@ -0,0 +1,23 @@
+# frozen_string_literal: true
+
+class TruthTable
+  attr_reader :evaluations
+  
+  def initialize(formula)
+    @formula = formula
+    letters = formula.literals.map(&:letter)
+    @evaluations = Interpretation.all(letters).map { |i| Evaluation.new(i, formula) }
+  end
+
+  def valid?
+    @evaluations.map(&:value).all?
+  end
+
+  def satisfied?
+    @evaluations.map(&:value).any?
+  end
+
+  def invalid?
+    !satisfied?
+  end
+end

data/lib/logical/evaluation.rb

@@ -0,0 +1,15 @@
+# frozen_string_literal: true
+
+class Evaluation
+  attr_reader :interpretation, :formula, :value
+
+  def initialize(interpretation, formula)
+    @interpretation = interpretation
+    @formula = formula
+    @value = formula.evaluate(interpretation)
+  end
+
+  def to_s
+    "#{interpretation.to_s} ⇒ #{formula.to_s} = #{value}"
+  end
+end

data/lib/logical/formulas/conjunction.rb

@@ -0,0 +1,20 @@
+# frozen_string_literal: true
+
+class Conjunction
+  def initialize(f, g)
+    @f = f
+    @g = g
+  end
+
+  def evaluate(interpretation)
+    @f.evaluate(interpretation) && @g.evaluate(interpretation)
+  end
+
+  def literals
+    @f.literals | @g.literals
+  end
+
+  def to_s
+    "(#{@f.to_s}∧#{@g.to_s})"
+  end
+end

data/lib/logical/formulas/disjunction.rb

@@ -0,0 +1,20 @@
+# frozen_string_literal: true
+
+class Disjunction
+  def initialize(f, g)
+    @f = f
+    @g = g
+  end
+
+  def evaluate(interpretation)
+    @f.evaluate(interpretation) || @g.evaluate(interpretation)
+  end
+
+  def literals
+    @f.literals | @g.literals
+  end
+
+  def to_s
+    "(#{@f.to_s}∨#{@g.to_s})"
+  end
+end

data/lib/logical/formulas/implication.rb

@@ -0,0 +1,21 @@
+# frozen_string_literal: true
+
+class Implication
+  def initialize(f, g)
+    @f = f
+    @g = g
+  end
+
+  def evaluate(interpretation)
+    # Since F → G ≡ ¬F ∨ G 
+    !(@f.evaluate(interpretation)) || @g.evaluate(interpretation)
+  end
+
+  def literals
+    @f.literals | @g.literals
+  end
+
+  def to_s
+    "(#{@f.to_s}→#{@g.to_s})"
+  end
+end

data/lib/logical/formulas/literal.rb

@@ -0,0 +1,25 @@
+# frozen_string_literal: true
+
+class Literal
+  attr_reader :letter
+
+  def initialize(letter)
+    @letter = letter
+  end
+
+  def evaluate(interpretation)
+    interpretation.evaluate(@letter)
+  end
+
+  def to_s
+    @letter
+  end
+
+  def literals
+    Set[self]
+  end
+
+  def ==(other)
+    other.class == Literal && other.letter == letter
+  end
+end

data/lib/logical/formulas/negation.rb

@@ -0,0 +1,19 @@
+# frozen_string_literal: true
+
+class Negation
+  def initialize(f)
+    @f = f
+  end
+
+  def evaluate(interpretation)
+    !(@f.evaluate(interpretation))
+  end
+  
+  def to_s
+    "¬(#{@f.to_s})"
+  end
+
+  def literals
+    @f.literals
+  end
+end

data/lib/logical/interpretation.rb

@@ -0,0 +1,27 @@
+# frozen_string_literal: true
+
+class Interpretation
+  def initialize(hash)
+    @hash = hash
+  end
+
+  def evaluate(letter)
+    @hash[letter]
+  end
+
+  def to_s
+    @hash.to_s
+  end
+
+  def self.all(letters)
+    [true, false]
+      .repeated_permutation(letters.size)
+      .map do |disposition|
+      mapping = {}
+      letters.each_with_index do |letter, i|
+        mapping[letter] = disposition[i]
+      end
+      Interpretation.new(mapping)
+    end
+  end
+end

data/lib/logical.rb

@@ -0,0 +1,14 @@
+# frozen_string_literal: true
+
+module Logical
+  require 'logical/interpretation'
+  require 'logical/evaluation'
+
+  require 'logical/algorithms/truth_table'
+
+  require 'logical/formulas/conjunction'
+  require 'logical/formulas/disjunction'
+  require 'logical/formulas/implication'
+  require 'logical/formulas/negation'
+  require 'logical/formulas/literal'
+end

metadata

@@ -0,0 +1,65 @@
+--- !ruby/object:Gem::Specification
+name: logical
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Luka Giga
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2023-02-28 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: minitest
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '5.8'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '5.8'
+description: ''
+email: 
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- lib/logical.rb
+- lib/logical/algorithms/truth_table.rb
+- lib/logical/evaluation.rb
+- lib/logical/formulas/conjunction.rb
+- lib/logical/formulas/disjunction.rb
+- lib/logical/formulas/implication.rb
+- lib/logical/formulas/literal.rb
+- lib/logical/formulas/negation.rb
+- lib/logical/interpretation.rb
+homepage: https://github.com/lgig/logical
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.4.6
+signing_key: 
+specification_version: 4
+summary: A silly Ruby implementation of some mathematical logic concepts.
+test_files: []