Enum FolFallacy 

pub enum FolFallacy {
    AffirmingConsequent,
    DenyingAntecedent,
    UndistributedMiddle,
    IllicitDistribution,
    FourTerms,
    ExistentialFallacy,
    Composition,
    Division,
    CircularReasoning,
    NonSequitur,
}

Fallacy types detectable through FOL analysis

Variants

AffirmingConsequent

Affirming the consequent: P→Q, Q ⊢ P

DenyingAntecedent

Denying the antecedent: P→Q, ¬P ⊢ ¬Q

UndistributedMiddle

Undistributed middle: All A are B, All C are B ⊢ All A are C

IllicitDistribution

Illicit major/minor: Distribution errors in syllogisms

FourTerms

Four-term fallacy: Using a term with different meanings

ExistentialFallacy

Existential fallacy: Assuming existence from universal

Composition

Composition: What’s true of parts is true of whole

Division

Division: What’s true of whole is true of parts

CircularReasoning

Circular reasoning: Conclusion appears in premises

NonSequitur

Non sequitur: Conclusion doesn’t follow logically

Implementations

impl FolFallacy

pub fn description(&self) -> &'static str

Get description of the fallacy

pub fn pattern(&self) -> &'static str

Get the logical pattern of the fallacy

Trait Implementations

impl Clone for FolFallacy

fn clone(&self) -> FolFallacy

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FolFallacy

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FolFallacy

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for FolFallacy

fn eq(&self, other: &FolFallacy) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for FolFallacy

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for FolFallacy

impl Eq for FolFallacy

impl StructuralPartialEq for FolFallacy