Method List
-
#affirm_from_neg_test Catlogic::Syllogism
-
#at_least_two? Catlogic::PremiseCollection
-
#conclusion Catlogic::Syllogism
-
#conclusiontype Catlogic::Mood
-
#contradictory Catlogic::Proposition
-
#contrapolated Catlogic::Proposition
-
#contrary Catlogic::Proposition
-
#converse Catlogic::Proposition
-
#displayPropositionalForm Catlogic::Syllogism
-
#distribution Catlogic::Proposition
-
#distribution_predicate Catlogic::Term
-
#distribution_subject Catlogic::Term
-
#exclusive_premises_test Catlogic::Syllogism
-
#figure Catlogic::Syllogism
-
#figure Catlogic::Form
-
#form Catlogic::Syllogism
-
#illicit_major_test Catlogic::Syllogism
-
#illicit_minor_test Catlogic::Syllogism
-
#inferred_truths_all Catlogic::PremiseCollection
-
#inferred_truths_new Catlogic::PremiseCollection
-
#inferred_truths_unique Catlogic::PremiseCollection
-
#initial_propositions Catlogic::PremiseCollection
-
#initial_size Catlogic::PremiseCollection
-
#initialize Catlogic::Figure
-
#initialize Catlogic::Term
-
#initialize Catlogic::PropositionType
-
#initialize Catlogic::Mood
-
#initialize Catlogic::Proposition
-
#initialize Catlogic::Syllogism
-
#initialize Catlogic::PremiseCollection
-
#initialize Catlogic::Form
-
#initialize Catlogic::Distribution
-
#initialize Catlogic::PremisePair
-
#initialize Catlogic::Quality
-
#initialize Catlogic::Quantity
-
#label Catlogic::Figure
-
#label Catlogic::Distribution
-
#label Catlogic::Quality
-
#label Catlogic::Quantity
-
#label Catlogic::Proposition
-
#label Catlogic::Mood
-
#label Catlogic::Form
-
#label Catlogic::Term
-
#label Catlogic::PropositionType
-
#label Catlogic::Syllogism
-
#major Catlogic::PremisePair
-
#major Catlogic::Syllogism
-
#major_predicate Catlogic::Figure
-
#major_subject Catlogic::Figure
-
#majorterm Catlogic::Syllogism
-
#majorterm Catlogic::PremisePair
-
#majortype Catlogic::Mood
-
#middle Catlogic::PremisePair
-
#middle Catlogic::Syllogism
-
#minor Catlogic::Syllogism
-
#minor Catlogic::PremisePair
-
#minor_predicate Catlogic::Figure
-
#minor_subject Catlogic::Figure
-
#minorterm Catlogic::PremisePair
-
#minorterm Catlogic::Syllogism
-
#minortype Catlogic::Mood
-
#mood Catlogic::Form
-
#mood Catlogic::Syllogism
-
#name Catlogic::Form
-
#neg_from_affirms_test Catlogic::Syllogism
-
#number_of_occurences Catlogic::Proposition
-
#obverse Catlogic::Proposition
-
#opposite Catlogic::Quality
-
#opposite Catlogic::Quantity
-
#opposite Catlogic::Term
-
#opposite Catlogic::Distribution
-
#position_of_term Catlogic::Proposition
-
#possible_conclusions Catlogic::PremisePair
-
#predicate Catlogic::Proposition
-
#premise_pairs Catlogic::PremiseCollection
-
#proposition Catlogic::PropositionType
-
#quality Catlogic::Proposition
-
#quality Catlogic::PropositionType
-
#quantity Catlogic::Proposition
-
#quantity Catlogic::PropositionType
-
#same_as? Catlogic::Proposition
-
#size Catlogic::PremiseCollection
-
#subaltern Catlogic::Proposition
-
#subcontrary Catlogic::Proposition
-
#subject Catlogic::Proposition
-
#syllogism Catlogic::Form
-
#three_term? Catlogic::Syllogism
-
#three_term_pair? Catlogic::PremisePair
-
#three_term_premise_pairs Catlogic::PremiseCollection
-
#to_figure Integer
-
#to_figure Catlogic::Figure
-
#to_mood String
-
#to_mood Catlogic::Mood
-
#to_proposition_type String
-
#to_proposition_type Catlogic::PropositionType
-
#to_quality Catlogic::Quality
-
#to_quality String
-
#to_quantity String
-
#to_quantity Catlogic::Quantity
-
#to_s Catlogic::Mood
-
#to_term String
-
#to_term Catlogic::Term
-
#truthvalue Catlogic::Proposition
-
#truthvalue Catlogic::PropositionType
-
#type Catlogic::Proposition
-
#undistributed_middle_test Catlogic::Syllogism
-
#unique? Catlogic::Proposition
-
#unique_propositions Catlogic::PremiseCollection
-
#unique_set Catlogic::PremiseCollection
-
#valid_syllogisms Catlogic::PremiseCollection
-
#validity Catlogic::Syllogism
-
#validity Catlogic::Form