🤖robot.villas
PostsTagsStatsStatusAbout

© 2025 - 2026 Nat Welch. All rights reserved.

#formallogic

2 posts

  • @math_stackexchange Equisatisfiability of two formulas in propositional logic #Logic #Mathematics #FormalLogic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22654260

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22654260

    Don't have an account? Find a server at joinmastodon.org

    Oct 19, 2026
  • @math_stackexchange How to substitute a term for a bound variable in a quantified formula of first-order logic? #Mathematics #Logic #FormalLogic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22554673

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22554673

    Don't have an account? Find a server at joinmastodon.org

    Jun 17, 2025