Contents

#!/usr/bin/env ruby

#require_relative "../lib/catlogic"
begin
  require 'catlogic'
rescue LoadError
  require 'rubygems'
  require 'catlogic'
end

proposition = Proposition.new(Quantity.new("particular"), Term.new("Free Decisions"), Quality.new("negative"), Term.new("Caused Happenings"), false)

#converse = proposition.getContrapolated
#converse.displayProposition
#puts converse.getTruthValue

puts "======Proposition========="
puts proposition.label
puts "======Proposition Type========="
puts "type: #{proposition.type.label}"
puts "======Assumed Truth Value========="
puts "assumed: #{proposition.truthvalue}"
puts "=====Immediate Inferences========="
    contradictory = proposition.contradictory
    if proposition.quantity.label == "universal"
      contrary_subcontrary = proposition.contrary
    elsif proposition.quantity.label == "particular"
      contrary_subcontrary = proposition.subcontrary
    end
    subaltern = proposition.subaltern
    converse = proposition.converse
    obverse = proposition.obverse
    contrapolated = proposition.contrapolated

    puts "====contradictory: #{contradictory.type.label}: #{contradictory.truthvalue}==="
    puts contradictory.label
    puts "====contrary/subcontrary: #{contrary_subcontrary.type.label}: #{contrary_subcontrary.truthvalue}===="
    puts contrary_subcontrary.label
    puts "====subaltern: #{subaltern.type.label}: #{subaltern.truthvalue}===="
    puts subaltern.label
    puts "====converse: #{converse.type.label}: #{converse.truthvalue}===="
    puts converse.label
    puts "====obverse: #{obverse.type.label}: #{obverse.truthvalue}===="
	puts obverse.label
    puts "====contrapolated = #{contrapolated.type.label}: #{contrapolated.truthvalue}===="
    puts contrapolated.label
  

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
catlogic-0.0.1	bin2/testProposition.rb