"""
Tests for LogicAgent.
"""

import pytest
from dcos.agents.logic import LogicAgent


class TestLogicAgent:
    def test_infer_with_premises(self):
        agent = LogicAgent()
        conclusion = agent.infer(["A", "B"])
        assert conclusion != "insufficient_premises"

    def test_infer_empty(self):
        agent = LogicAgent()
        conclusion = agent.infer([])
        assert conclusion == "insufficient_premises"

    def test_act(self):
        agent = LogicAgent()
        result = agent.act({"premises": ["all humans are mortal", "Socrates is human"]})
        assert result["valid"] is True

    def test_contradiction_detection(self):
        agent = LogicAgent()
        assert agent.detect_contradiction(["A", "not A"]) is False  # placeholder