Class: PropositionType

Inherits:
Object
  • Object
show all
Defined in:
lib/catlogic/proposition_type.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(type, truthvalue = true) ⇒ PropositionType

Returns a new instance of PropositionType.



5
6
7
8
9
 
# File 'lib/catlogic/proposition_type.rb', line 5

def initialize(type, truthvalue=true)
  @type = type
  @label = type
  @truthvalue = truthvalue
end

Instance Attribute Details

#label ⇒ Object (readonly)

Returns the value of attribute label.



3
4
5
 
# File 'lib/catlogic/proposition_type.rb', line 3

def label
  @label
end

#truthvalue ⇒ Object (readonly)

Returns the value of attribute truthvalue.



3
4
5
 
# File 'lib/catlogic/proposition_type.rb', line 3

def truthvalue
  @truthvalue
end

Instance Method Details

#getType ⇒ Object 



10
11
12
 
# File 'lib/catlogic/proposition_type.rb', line 10

def getType
  @type
end

#proposition ⇒ Object 



43
44
45
46
 
# File 'lib/catlogic/proposition_type.rb', line 43

def proposition
  proposition = Proposition.new(Quantity.new(self.quantity.label), Term.new("S"), Quality.new(self.quality.label), Term.new("P"), @truthvalue)
  return proposition
end

#quality ⇒ Object 



28
29
30
31
32
33
34
35
36
37
38
39
40
41
 
# File 'lib/catlogic/proposition_type.rb', line 28

def quality
  if @label == "A"
    quality = Quality.new("affirmative")
  elsif @label == "E"
    quality = Quality.new("negative")
  elsif @label == "I"
    quality = Quality.new("affirmative")
  elsif @label == "O"
    quality = Quality.new("negative")
  else
    quality = "not a valid type"
  end
  return quality
end

#quantity ⇒ Object 



14
15
16
17
18
19
20
21
22
23
24
25
26
27
 
# File 'lib/catlogic/proposition_type.rb', line 14

def quantity
  if @label == "A"
    quantity = Quantity.new("universal")
  elsif @label == "E"
    quantity = Quantity.new("universal")
  elsif @label == "I"
    quantity = Quantity.new("particular")
  elsif @label == "O"
    quantity = Quantity.new("particular")
  else
    quantity = "not a valid type"
  end
  return quantity
end