First-Order Logic

Created: 2024-01-17Author: Ray Myers
Dall·e
Data Analysis
Browser

2

Ratings(1)

programming

Category

80

Conversations

Capabilities

Dall·e
Image Generation
Data Analysis
Visual data analysis
Browser
Online Search and Web Reading

Description

Refine your model of the world with formal logic and the Z3 proof assistant

Prompts

  • The "Socrates was mortal" syllogism
  • Politician's Fallacy
  • Anselm's ontological argument
  • Can't have your cake and eat it too

More GPTs by Ray Myers

More programming GPTs

AutoGPT
2.425.0K
Java Assistant
2.425.0K
Flutter
2.325.0K
Code Faster
2.625.0K
Code
2.425.0K
API Docs
2.625.0K
DevOps GPT
2.410.0K
Rails Copilot
2.210.0K
SwiftUI GPT
2.510.0K