Jump to content

Existing user? Sign In
Sign In

Remember me Not recommended on shared computers

Forgot your password?

Or sign in with one of these services
Sign Up

Browse
- Forums
- Events
- Guidelines
- Staff
- Online Users
- Leaderboard
- More
Activity
- All Activity
- Search
- More
Leaderboard
More
- More

Computer Science

Mistake while removing implications in first order predicate logic, can you spot it?

By shivajikobardan
February 11, 2022 in Computer Science

Share

Followers 0

Recommended Posts

shivajikobardan

Posted February 11, 2022

- Share

Posted February 11, 2022

As you can see I am not getting correct result. What have I messed up? I want to learn it.

https://slideplayer.com/slide/4942120/

Here is full slide in case anyone wants to refer to it.

Link to comment

Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now

Share

Followers 0

Go to topic listing

×

Browse
- Back
- Forums
- Events
- Guidelines
- Staff
- Online Users
- Leaderboard
Activity
- Back
- All Activity
- Search
Leaderboard

×

Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.

Sign In