• The Logic Machine: Interactive Logic Software for <em>Logic Primer</em>
    • The Logic Machine: Interactive Logic Software for <em>Logic Primer</em>

    Description: The Logic Machine

    Keywords: logic, sentential,predicate,countermodel,well formed formula,conditional,biconditional,disjunction,universal,existential,formal logic,truth table,proof,negation,derived rules

    Science Math Logic and Foundations Education 网站

    2024年12月26日

    返回