Method: Catlogic::Proposition#initialize

Defined in:
lib/catlogic/proposition.rb

#initialize(quantity, subject, quality, predicate, truthvalue = true) ⇒ Proposition

Returns a new instance of Proposition.



6
7
8
9
10
11
12
 
# File 'lib/catlogic/proposition.rb', line 6

def initialize(quantity, subject, quality, predicate, truthvalue=true)
  @quantity=quantity.to_quantity
  @subject=subject.to_term
  @quality=quality.to_quality
  @predicate=predicate.to_term
  @truthvalue=truthvalue
end