-
Cratylus
2First :This is not home work
I use the Logic Book.
This problem has to be done in SD+
I tried everything and gotten nowhere
I request hints with the rules and how to solve it
Derive I=>~D
1.(F &G) v (H &~I) Assume
2. I=>~(F & D) ?
3.| F&D =>~l. ?
4.~I=>(F=>D) 3 exp ?
Welcome to The Philosophy Forum!
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.
Categories
- Guest category
- The Lounge
- General Philosophy
- Metaphysics & Epistemology
- Philosophy of Mind
- Ethics
- Political Philosophy
- Philosophy of Art
- Logic & Philosophy of Mathematics
- Philosophy of Religion
- Philosophy of Science
- Philosophy of Language
- Interesting Stuff
- Politics and Current Affairs
- Humanities and Social Sciences
- Science and Technology
- Non-English Discussion
- German Discussion
- Spanish Discussion
- Learning Centre
- Resources
- Books and Papers
- Reading groups
- Questions
- Guest Speakers
- David Pearce
- Massimo Pigliucci
- Debates
- Debate Proposals
- Debate Discussion
- Feedback
- Article submissions
- About TPF
- Help
More Discussions
- Other sites we like
- Social media
- Terms of Service
- Sign In
- Created with PlushForums
- © 2024 The Philosophy Forum