# deductive_strategy_evaluation

> Evaluate strategies based on the logical soundness of their derivation.

- Author: Benjamin Ward
- Repository: benjam3n/GOSM
- Version: 20260127091712
- Stars: 0
- Forks: 0
- Last Updated: 2026-02-06
- Source: https://github.com/benjam3n/GOSM
- Web: https://mule.run/skillshub/@@benjam3n/GOSM~deductive_strategy_evaluation:20260127091712

---

---
name: deductive_strategy_evaluation
description: "Evaluate strategies based on the logical soundness of their derivation."
---

# Deductive Strategy Evaluation

## Overview
Evaluate strategies based on the logical soundness of their derivation.

This procedure determines whether a strategy is:
- Logically valid (conclusions follow from premises)
- Sound (premises are true AND inferences are valid)
- Complete (no gaps in the reasoning chain)
- Necessary (this is the ONLY solution) vs Sufficient (this WILL work)

Strategies that pass deductive evaluation have the highest confidence
because their correctness follows from the problem definition itself.

## Steps

### Step 1: Check Logical Validity
ask_llm

### Step 2: Check Soundness
ask_llm

### Step 3: Identify Weaknesses
ask_llm

### Step 4: Assess Necessity Level
ask_llm

### Step 5: Assign Confidence Level
ask_llm

### Step 6: Store Evaluation Results
store


## When to Use
- After deductive strategy discovery
- Before committing to a strategy
- When you need to compare strategies on logical strength
- When you want to identify the weakest points in strategy reasoning

## Verification
- Every inference step is explicitly checked for validity
- Every premise is categorized and assessed for truth
- Weaknesses are prioritized by criticality
- Proof level is assigned with explicit justification
- Upgrade path is provided for sub-Level 2 strategies

---

**Input**: $ARGUMENTS

Apply this procedure to the input provided.