Method List
-
#!= LogicalContext
-
#<=> LogicalContext
-
#> LogicalContext
-
#add_conclusion LogicAnalyzer
-
#add_sentence LogicAnalyzer
-
#amount_of_variables Proposition
-
#and Boolean
-
#conclusion LogicAnalyzer
-
#connectors LogicalContext
-
#define_premise LogicalContext
-
#evaluate LogicAnalyzer
-
#evaluate Proposition
-
#generate_table TruthTable
-
#if_and_only_if Boolean
-
#initialize Contingency
-
#initialize LogicAnalyzer
-
#initialize Proposition
-
#initialize TruthTable
-
#iterations TruthTable
-
#not Boolean
-
#not LogicalContext
-
#or Boolean
-
#parse LogicAnalyzer
-
#parse Proposition
-
#proposition LogicAnalyzer
-
#sentence Proposition
-
#sentences LogicAnalyzer
-
#syntax_sugars Proposition
-
#table TruthTable
-
#then Boolean
-
#truth_value LogicalContext
-
#truth_value_of TruthTable
-
#variables TruthTable
-
#variables Proposition
-
#xor Boolean