Ace189
- 2
- 0
Hey, I'm new to the forum so I'm not sure if I posted this in the right section. I'm taking Intro to Logic and I'm having some problems.
Proofs: Construct proofs for each of the following symbolic arguments.
Commas are used to mark the breaks between premises. (Each proof can be
completed in fewer than 10 steps, including premises.)
^These are the instructions my textbook gives. I have no clue on how to start this at all. Could someone explain this to me please.
2. (W → U) • ∼X ∴ ∼U → ∼W
3. F → ∼G, G ∴ ∼F
Rewrite it :
3) 1.F → ∼G
2.G ∴ ∼F
Other than that I have no clue what to do...
Proofs: Construct proofs for each of the following symbolic arguments.
Commas are used to mark the breaks between premises. (Each proof can be
completed in fewer than 10 steps, including premises.)
^These are the instructions my textbook gives. I have no clue on how to start this at all. Could someone explain this to me please.
2. (W → U) • ∼X ∴ ∼U → ∼W
3. F → ∼G, G ∴ ∼F
Rewrite it :
3) 1.F → ∼G
2.G ∴ ∼F
Other than that I have no clue what to do...