Index

A

absorption() (agent_logic.InferenceRules static method) (agent_logic.proofs.inference_rules.InferenceRules static method) (agent_logic.proofs.InferenceRules static method) addition() (agent_logic.InferenceRules static method) (agent_logic.proofs.inference_rules.InferenceRules static method) (agent_logic.proofs.InferenceRules static method) agent_logic module agent_logic.cli module agent_logic.core module agent_logic.core.base module agent_logic.core.functions module agent_logic.core.operations module agent_logic.core.predicates module agent_logic.core.quantifiers module agent_logic.evaluation module agent_logic.evaluation.evaluator module agent_logic.evaluation.truth_table module agent_logic.models module agent_logic.models.llm_proof_model module agent_logic.parsing module agent_logic.parsing.ast_parser module

agent_logic.parsing.token_parser module agent_logic.proofs module agent_logic.proofs.combinatorial_proofs module agent_logic.proofs.inference_rules module agent_logic.proofs.proof_system module agent_logic.proofs.quantifier_rules module agent_logic.proofs.sequent_calculus module agent_logic.proofs.unification module agent_logic.utils module agent_logic.utils.logger module And (class in agent_logic.core) (class in agent_logic.core.operations) and_left() (agent_logic.proofs.sequent_calculus.SequentCalculus static method) and_right() (agent_logic.proofs.sequent_calculus.SequentCalculus static method) apply_inference() (agent_logic.Proof method) (agent_logic.proofs.Proof method) (agent_logic.proofs.proof_system.Proof method) are_equivalent() (agent_logic.evaluation.Evaluator static method) (agent_logic.evaluation.evaluator.Evaluator static method) associative_rule() (agent_logic.InferenceRules static method) (agent_logic.proofs.inference_rules.InferenceRules static method) (agent_logic.proofs.InferenceRules static method) ASTParser (class in agent_logic.parsing) (class in agent_logic.parsing.ast_parser)

B

biconditional_elimination() (agent_logic.InferenceRules static method) (agent_logic.proofs.inference_rules.InferenceRules static method) (agent_logic.proofs.InferenceRules static method) biconditional_introduction() (agent_logic.InferenceRules static method) (agent_logic.proofs.inference_rules.InferenceRules static method) (agent_logic.proofs.InferenceRules static method)

BinaryOp (class in agent_logic) (class in agent_logic.core) (class in agent_logic.core.operations) brute_force_proof() (agent_logic.proofs.combinatorial_proofs.CombinatorialProofs static method)

C

CombinatorialProofs (class in agent_logic.proofs.combinatorial_proofs) conclusions (agent_logic.proofs.sequent_calculus.Sequent attribute) conjunction_elimination() (agent_logic.InferenceRules static method) (agent_logic.proofs.inference_rules.InferenceRules static method) (agent_logic.proofs.InferenceRules static method) conjunction_introduction() (agent_logic.InferenceRules static method) (agent_logic.proofs.inference_rules.InferenceRules static method) (agent_logic.proofs.InferenceRules static method)

constructive_dilemma() (agent_logic.InferenceRules static method) (agent_logic.proofs.inference_rules.InferenceRules static method) (agent_logic.proofs.InferenceRules static method) constructive_negation() (agent_logic.InferenceRules static method) (agent_logic.proofs.inference_rules.InferenceRules static method) (agent_logic.proofs.InferenceRules static method)

D

debug (agent_logic.Proof attribute), [1] (agent_logic.proofs.Proof attribute), [1] (agent_logic.proofs.proof_system.Proof attribute), [1] dependencies (agent_logic.proofs.proof_system.ProofStep attribute), [1] (agent_logic.proofs.ProofStep attribute), [1] (agent_logic.ProofStep attribute), [1] depth() (agent_logic.BinaryOp method) (agent_logic.core.base.LogicalExpression method) (agent_logic.core.BinaryOp method) (agent_logic.core.Function method) (agent_logic.core.functions.Function method) (agent_logic.core.functions.Relation method) (agent_logic.core.LogicalExpression method) (agent_logic.core.Not method) (agent_logic.core.operations.BinaryOp method) (agent_logic.core.operations.Not method) (agent_logic.core.operations.Proposition method) (agent_logic.core.Predicate method) (agent_logic.core.predicates.Predicate method) (agent_logic.core.Proposition method) (agent_logic.core.quantifiers.ExistentialQuantifier method) (agent_logic.core.quantifiers.UniversalQuantifier method) (agent_logic.LogicalExpression method) (agent_logic.Not method) (agent_logic.Proposition method)

destructive_dilemma() (agent_logic.InferenceRules static method) (agent_logic.proofs.inference_rules.InferenceRules static method) (agent_logic.proofs.InferenceRules static method) disjunctive_syllogism() (agent_logic.InferenceRules static method) (agent_logic.proofs.inference_rules.InferenceRules static method) (agent_logic.proofs.InferenceRules static method) distributive_rule() (agent_logic.InferenceRules static method) (agent_logic.proofs.inference_rules.InferenceRules static method) (agent_logic.proofs.InferenceRules static method)

E

error_message (agent_logic.models.llm_proof_model.LLMProofResponse attribute) (agent_logic.models.LLMProofResponse attribute) evaluate() (agent_logic.BinaryOp method) (agent_logic.core.base.LogicalExpression method) (agent_logic.core.BinaryOp method) (agent_logic.core.Function method) (agent_logic.core.functions.Function method) (agent_logic.core.functions.Relation method) (agent_logic.core.LogicalExpression method) (agent_logic.core.Not method) (agent_logic.core.operations.BinaryOp method) (agent_logic.core.operations.Not method) (agent_logic.core.operations.Proposition method) (agent_logic.core.operations.Xor method) (agent_logic.core.Predicate method) (agent_logic.core.predicates.Predicate method) (agent_logic.core.Proposition method) (agent_logic.core.quantifiers.ExistentialQuantifier method) (agent_logic.core.quantifiers.UniversalQuantifier method) (agent_logic.core.Xor method) (agent_logic.evaluation.Evaluator static method) (agent_logic.evaluation.evaluator.Evaluator static method) (agent_logic.LogicalExpression method) (agent_logic.Not method) (agent_logic.Proposition method)

evaluate_with_assignment() (agent_logic.evaluation.Evaluator static method) (agent_logic.evaluation.evaluator.Evaluator static method) Evaluator (class in agent_logic.evaluation) (class in agent_logic.evaluation.evaluator) existential_generalization() (agent_logic.proofs.quantifier_rules.QuantifierRules static method) (agent_logic.proofs.QuantifierRules static method) existential_instantiation() (agent_logic.proofs.quantifier_rules.QuantifierRules static method) (agent_logic.proofs.QuantifierRules static method) ExistentialQuantifier (class in agent_logic.core.quantifiers) Exists (in module agent_logic.core) (in module agent_logic.core.quantifiers) expression (agent_logic.models.llm_proof_model.LLMEquivalenceRequest attribute) (agent_logic.models.llm_proof_model.LLMTruthTableRequest attribute) (agent_logic.models.LLMEquivalenceRequest attribute) (agent_logic.models.LLMTruthTableRequest attribute) expression_depth() (agent_logic.evaluation.Evaluator static method) (agent_logic.evaluation.evaluator.Evaluator static method)

F

ForAll (in module agent_logic.core) (in module agent_logic.core.quantifiers) from_dict() (agent_logic.BinaryOp class method) (agent_logic.core.base.LogicalExpression class method) (agent_logic.core.BinaryOp class method) (agent_logic.core.Function class method) (agent_logic.core.functions.Function class method) (agent_logic.core.functions.Relation class method) (agent_logic.core.LogicalExpression class method) (agent_logic.core.Not class method) (agent_logic.core.operations.BinaryOp class method) (agent_logic.core.operations.Not class method) (agent_logic.core.operations.Proposition class method) (agent_logic.core.Predicate class method) (agent_logic.core.predicates.Predicate class method) (agent_logic.core.Proposition class method) (agent_logic.core.quantifiers.ExistentialQuantifier class method) (agent_logic.core.quantifiers.UniversalQuantifier class method) (agent_logic.LogicalExpression class method) (agent_logic.Not class method) (agent_logic.Proof class method) (agent_logic.proofs.Proof class method) (agent_logic.proofs.proof_system.Proof class method) (agent_logic.Proposition class method)

function (agent_logic.core.Function attribute) (agent_logic.core.functions.Function attribute) Function (class in agent_logic.core) (class in agent_logic.core.functions)

G

generate() (agent_logic.evaluation.truth_table.TruthTable method) (agent_logic.evaluation.TruthTable method) (agent_logic.TruthTable method) get_logger() (in module agent_logic) (in module agent_logic.utils) (in module agent_logic.utils.logger)

goal (agent_logic.models.llm_proof_model.LLMProofRequest attribute) (agent_logic.models.LLMProofRequest attribute)

H

hypotheses (agent_logic.proofs.sequent_calculus.Sequent attribute) hypothetical_syllogism() (agent_logic.InferenceRules static method) (agent_logic.proofs.inference_rules.InferenceRules static method) (agent_logic.proofs.InferenceRules static method)

I

Iff (class in agent_logic.core) (class in agent_logic.core.operations) Implies (class in agent_logic.core) (class in agent_logic.core.operations) implies_left() (agent_logic.proofs.sequent_calculus.SequentCalculus static method) implies_right() (agent_logic.proofs.sequent_calculus.SequentCalculus static method) InferenceRules (class in agent_logic) (class in agent_logic.proofs) (class in agent_logic.proofs.inference_rules) is_contradiction (agent_logic.models.llm_proof_model.LLMTruthTableResponse attribute) (agent_logic.models.LLMTruthTableResponse attribute) is_contradiction() (agent_logic.evaluation.truth_table.TruthTable method) (agent_logic.evaluation.TruthTable method) (agent_logic.TruthTable method) is_satisfiable (agent_logic.models.llm_proof_model.LLMTruthTableResponse attribute) (agent_logic.models.LLMTruthTableResponse attribute)

is_satisfiable() (agent_logic.evaluation.Evaluator static method) (agent_logic.evaluation.evaluator.Evaluator static method) (agent_logic.evaluation.truth_table.TruthTable method) (agent_logic.evaluation.TruthTable method) (agent_logic.TruthTable method) is_tautology (agent_logic.models.llm_proof_model.LLMTruthTableResponse attribute) (agent_logic.models.LLMTruthTableResponse attribute) is_tautology() (agent_logic.evaluation.truth_table.TruthTable method) (agent_logic.evaluation.TruthTable method) (agent_logic.TruthTable method) is_valid (agent_logic.models.llm_proof_model.LLMProofResponse attribute) (agent_logic.models.LLMProofResponse attribute) is_valid() (agent_logic.evaluation.Evaluator static method) (agent_logic.evaluation.evaluator.Evaluator static method) (agent_logic.Proof method) (agent_logic.proofs.Proof method) (agent_logic.proofs.proof_system.Proof method)

J

justification (agent_logic.proofs.proof_system.ProofStep attribute), [1] (agent_logic.proofs.ProofStep attribute), [1] (agent_logic.ProofStep attribute), [1]

L

law_of_excluded_middle() (agent_logic.InferenceRules static method) (agent_logic.proofs.inference_rules.InferenceRules static method) (agent_logic.proofs.InferenceRules static method) left (agent_logic.BinaryOp attribute), [1] (agent_logic.core.BinaryOp attribute), [1] (agent_logic.core.operations.And attribute) (agent_logic.core.operations.BinaryOp attribute), [1] (agent_logic.core.operations.Iff attribute) (agent_logic.core.operations.Implies attribute) (agent_logic.core.operations.Or attribute) (agent_logic.core.operations.Xor attribute) LLMEquivalenceRequest (class in agent_logic.models) (class in agent_logic.models.llm_proof_model)

LLMEquivalenceResponse (class in agent_logic.models) (class in agent_logic.models.llm_proof_model) LLMProofRequest (class in agent_logic.models) (class in agent_logic.models.llm_proof_model) LLMProofResponse (class in agent_logic.models) (class in agent_logic.models.llm_proof_model) LLMTruthTableRequest (class in agent_logic.models) (class in agent_logic.models.llm_proof_model) LLMTruthTableResponse (class in agent_logic.models) (class in agent_logic.models.llm_proof_model) LogicalExpression (class in agent_logic) (class in agent_logic.core) (class in agent_logic.core.base)

M

main() (in module agent_logic.cli) max_depth (agent_logic.models.llm_proof_model.LLMProofRequest attribute) (agent_logic.models.LLMProofRequest attribute) model_config (agent_logic.BinaryOp attribute) (agent_logic.core.And attribute) (agent_logic.core.base.LogicalExpression attribute), [1] (agent_logic.core.BinaryOp attribute) (agent_logic.core.Function attribute) (agent_logic.core.functions.Function attribute) (agent_logic.core.functions.Relation attribute) (agent_logic.core.Iff attribute) (agent_logic.core.Implies attribute) (agent_logic.core.LogicalExpression attribute), [1] (agent_logic.core.Not attribute) (agent_logic.core.operations.And attribute) (agent_logic.core.operations.BinaryOp attribute) (agent_logic.core.operations.Iff attribute) (agent_logic.core.operations.Implies attribute) (agent_logic.core.operations.Not attribute) (agent_logic.core.operations.Or attribute) (agent_logic.core.operations.Proposition attribute) (agent_logic.core.operations.Xor attribute) (agent_logic.core.Or attribute) (agent_logic.core.Predicate attribute) (agent_logic.core.predicates.Predicate attribute) (agent_logic.core.predicates.Term attribute) (agent_logic.core.Proposition attribute) (agent_logic.core.quantifiers.ExistentialQuantifier attribute) (agent_logic.core.quantifiers.UniversalQuantifier attribute) (agent_logic.core.Term attribute) (agent_logic.core.Xor attribute) (agent_logic.LogicalExpression attribute), [1] (agent_logic.models.llm_proof_model.LLMEquivalenceRequest attribute) (agent_logic.models.llm_proof_model.LLMEquivalenceResponse attribute) (agent_logic.models.llm_proof_model.LLMProofRequest attribute) (agent_logic.models.llm_proof_model.LLMProofResponse attribute) (agent_logic.models.llm_proof_model.LLMTruthTableRequest attribute) (agent_logic.models.llm_proof_model.LLMTruthTableResponse attribute) (agent_logic.models.LLMEquivalenceRequest attribute) (agent_logic.models.LLMEquivalenceResponse attribute) (agent_logic.models.LLMProofRequest attribute) (agent_logic.models.LLMProofResponse attribute) (agent_logic.models.LLMTruthTableRequest attribute) (agent_logic.models.LLMTruthTableResponse attribute) (agent_logic.Not attribute) (agent_logic.Proof attribute) (agent_logic.proofs.Proof attribute) (agent_logic.proofs.proof_system.Proof attribute) (agent_logic.proofs.proof_system.ProofStep attribute) (agent_logic.proofs.ProofStep attribute) (agent_logic.proofs.sequent_calculus.Sequent attribute) (agent_logic.ProofStep attribute) (agent_logic.Proposition attribute)

module agent_logic agent_logic.cli agent_logic.core agent_logic.core.base agent_logic.core.functions agent_logic.core.operations agent_logic.core.predicates agent_logic.core.quantifiers agent_logic.evaluation agent_logic.evaluation.evaluator agent_logic.evaluation.truth_table agent_logic.models agent_logic.models.llm_proof_model agent_logic.parsing agent_logic.parsing.ast_parser agent_logic.parsing.token_parser agent_logic.proofs agent_logic.proofs.combinatorial_proofs agent_logic.proofs.inference_rules agent_logic.proofs.proof_system agent_logic.proofs.quantifier_rules agent_logic.proofs.sequent_calculus agent_logic.proofs.unification agent_logic.utils agent_logic.utils.logger modus_ponens() (agent_logic.InferenceRules static method) (agent_logic.proofs.inference_rules.InferenceRules static method) (agent_logic.proofs.InferenceRules static method) modus_tollens() (agent_logic.InferenceRules static method) (agent_logic.proofs.inference_rules.InferenceRules static method) (agent_logic.proofs.InferenceRules static method)

N

name (agent_logic.core.Function attribute) (agent_logic.core.functions.Function attribute) (agent_logic.core.functions.Relation attribute) (agent_logic.core.operations.Proposition attribute), [1] (agent_logic.core.Predicate attribute) (agent_logic.core.predicates.Predicate attribute) (agent_logic.core.Proposition attribute), [1] (agent_logic.Proposition attribute), [1] negation_elimination() (agent_logic.InferenceRules static method) (agent_logic.proofs.inference_rules.InferenceRules static method) (agent_logic.proofs.InferenceRules static method)

negation_introduction() (agent_logic.InferenceRules static method) (agent_logic.proofs.inference_rules.InferenceRules static method) (agent_logic.proofs.InferenceRules static method) Not (class in agent_logic) (class in agent_logic.core) (class in agent_logic.core.operations) not_left() (agent_logic.proofs.sequent_calculus.SequentCalculus static method) not_right() (agent_logic.proofs.sequent_calculus.SequentCalculus static method)

O

operand (agent_logic.core.Not attribute), [1] (agent_logic.core.operations.Not attribute), [1] (agent_logic.Not attribute), [1] operator (agent_logic.BinaryOp attribute), [1] (agent_logic.core.BinaryOp attribute), [1] (agent_logic.core.operations.And attribute) (agent_logic.core.operations.BinaryOp attribute), [1] (agent_logic.core.operations.Iff attribute) (agent_logic.core.operations.Implies attribute) (agent_logic.core.operations.Or attribute) (agent_logic.core.operations.Xor attribute)

Or (class in agent_logic.core) (class in agent_logic.core.operations) or_left() (agent_logic.proofs.sequent_calculus.SequentCalculus static method) or_right() (agent_logic.proofs.sequent_calculus.SequentCalculus static method)

P

parameters (agent_logic.core.Function attribute) (agent_logic.core.functions.Function attribute) (agent_logic.core.functions.Relation attribute) parse_args() (in module agent_logic.cli) parse_dict() (agent_logic.parsing.ast_parser.ASTParser static method) (agent_logic.parsing.ASTParser static method) predicate (agent_logic.core.quantifiers.ExistentialQuantifier attribute) (agent_logic.core.quantifiers.UniversalQuantifier attribute) Predicate (class in agent_logic.core) (class in agent_logic.core.predicates) premises (agent_logic.models.llm_proof_model.LLMProofRequest attribute) (agent_logic.models.LLMProofRequest attribute) Proof (class in agent_logic) (class in agent_logic.proofs) (class in agent_logic.proofs.proof_system)

proof_by_contradiction() (agent_logic.InferenceRules static method) (agent_logic.proofs.inference_rules.InferenceRules static method) (agent_logic.proofs.InferenceRules static method) proof_steps (agent_logic.models.llm_proof_model.LLMProofResponse attribute) (agent_logic.models.LLMProofResponse attribute) ProofStep (class in agent_logic) (class in agent_logic.proofs) (class in agent_logic.proofs.proof_system) Proposition (class in agent_logic) (class in agent_logic.core) (class in agent_logic.core.operations)

Q

QuantifierRules (class in agent_logic.proofs) (class in agent_logic.proofs.quantifier_rules)

R

Relation (class in agent_logic.core.functions) right (agent_logic.BinaryOp attribute), [1] (agent_logic.core.BinaryOp attribute), [1] (agent_logic.core.operations.And attribute) (agent_logic.core.operations.BinaryOp attribute), [1] (agent_logic.core.operations.Iff attribute) (agent_logic.core.operations.Implies attribute) (agent_logic.core.operations.Or attribute) (agent_logic.core.operations.Xor attribute)

S

Sequent (class in agent_logic.proofs.sequent_calculus) SequentCalculus (class in agent_logic.proofs.sequent_calculus) set_global_log_level() (in module agent_logic) (in module agent_logic.utils) (in module agent_logic.utils.logger) statement (agent_logic.proofs.proof_system.ProofStep attribute), [1] (agent_logic.proofs.ProofStep attribute), [1] (agent_logic.ProofStep attribute), [1]

step_number (agent_logic.proofs.proof_system.ProofStep attribute), [1] (agent_logic.proofs.ProofStep attribute), [1] (agent_logic.ProofStep attribute), [1] steps (agent_logic.Proof attribute), [1] (agent_logic.proofs.Proof attribute), [1] (agent_logic.proofs.proof_system.Proof attribute), [1]

T

Term (class in agent_logic.core) (class in agent_logic.core.predicates) terms (agent_logic.core.Predicate attribute) (agent_logic.core.predicates.Predicate attribute) to_dict() (agent_logic.BinaryOp method) (agent_logic.core.base.LogicalExpression method) (agent_logic.core.BinaryOp method) (agent_logic.core.Function method) (agent_logic.core.functions.Function method) (agent_logic.core.functions.Relation method) (agent_logic.core.LogicalExpression method) (agent_logic.core.Not method) (agent_logic.core.operations.BinaryOp method) (agent_logic.core.operations.Not method) (agent_logic.core.operations.Proposition method) (agent_logic.core.Predicate method) (agent_logic.core.predicates.Predicate method) (agent_logic.core.Proposition method) (agent_logic.core.quantifiers.ExistentialQuantifier method) (agent_logic.core.quantifiers.UniversalQuantifier method) (agent_logic.LogicalExpression method) (agent_logic.Not method) (agent_logic.Proof method) (agent_logic.proofs.Proof method) (agent_logic.proofs.proof_system.Proof method) (agent_logic.Proposition method)

TOKEN_MAP (agent_logic.parsing.token_parser.Tokenizer attribute) (agent_logic.parsing.Tokenizer attribute) tokenize() (agent_logic.parsing.token_parser.Tokenizer static method) (agent_logic.parsing.Tokenizer static method) Tokenizer (class in agent_logic.parsing) (class in agent_logic.parsing.token_parser) transformation (agent_logic.models.llm_proof_model.LLMEquivalenceRequest attribute) (agent_logic.models.LLMEquivalenceRequest attribute) transformed_expression (agent_logic.models.llm_proof_model.LLMEquivalenceResponse attribute) (agent_logic.models.LLMEquivalenceResponse attribute) transitivity_of_implication() (agent_logic.InferenceRules static method) (agent_logic.proofs.inference_rules.InferenceRules static method) (agent_logic.proofs.InferenceRules static method) truth_table (agent_logic.models.llm_proof_model.LLMTruthTableResponse attribute) (agent_logic.models.LLMTruthTableResponse attribute) TruthTable (class in agent_logic) (class in agent_logic.evaluation) (class in agent_logic.evaluation.truth_table) type (agent_logic.core.quantifiers.ExistentialQuantifier attribute) (agent_logic.core.quantifiers.UniversalQuantifier attribute)

U

Unification (class in agent_logic.proofs) (class in agent_logic.proofs.unification) unify() (agent_logic.proofs.Unification static method) (agent_logic.proofs.unification.Unification static method)

universal_elimination() (agent_logic.proofs.quantifier_rules.QuantifierRules static method) (agent_logic.proofs.QuantifierRules static method) UniversalQuantifier (class in agent_logic.core.quantifiers)

V

validate_proof() (agent_logic.proofs.combinatorial_proofs.CombinatorialProofs static method) (in module agent_logic.cli) validate_syntax() (agent_logic.parsing.token_parser.Tokenizer static method) (agent_logic.parsing.Tokenizer static method) value (agent_logic.core.predicates.Term attribute) (agent_logic.core.Term attribute) variable (agent_logic.core.quantifiers.ExistentialQuantifier attribute) (agent_logic.core.quantifiers.UniversalQuantifier attribute) variables() (agent_logic.BinaryOp method) (agent_logic.core.base.LogicalExpression method) (agent_logic.core.BinaryOp method) (agent_logic.core.Function method) (agent_logic.core.functions.Function method) (agent_logic.core.functions.Relation method) (agent_logic.core.LogicalExpression method) (agent_logic.core.Not method) (agent_logic.core.operations.BinaryOp method) (agent_logic.core.operations.Not method) (agent_logic.core.operations.Proposition method) (agent_logic.core.Predicate method) (agent_logic.core.predicates.Predicate method) (agent_logic.core.Proposition method) (agent_logic.core.quantifiers.ExistentialQuantifier method) (agent_logic.core.quantifiers.UniversalQuantifier method) (agent_logic.LogicalExpression method) (agent_logic.Not method) (agent_logic.Proposition method)

X

Xor (class in agent_logic.core) (class in agent_logic.core.operations)