Posted January 17, 2018 Hello all, I was given a question involving an implication and I'm supposed to show that it is a tautology by using equivalence. We were given a pretty simply chart for equivalences and I cannot see any applicable conversions to show that it is indeed a tautology. I attached the chart below. The question was A -> (B -> A) Spoiler Link to comment Share on other sites More sharing options... Link to post Share on other sites More sharing options...
Posted January 17, 2018 Just a hint since this forum is not about asking people to do your homework for you: start with a sentence that's already a tautology, then using the chart prove that the sentence you started at is equivalent to the one you were given. We have a NEW and GLORIOUSER-ER-ER PSU Tier List Now. (dammit @LukeSavenije stop coming up with new ones) You can check out the old one that gave joy to so many across the land here Computer having a hard time powering on? Troubleshoot it with this guide. (Currently looking for suggestions to update it into the context of <current year> and make it its own thread) Computer Specs: Spoiler Mathresolvermajig: Intel Xeon E3 1240 (Sandy Bridge i7 equivalent) Chillinmachine: Noctua NH-C14S Framepainting-inator: EVGA GTX 1080 Ti SC2 Hybrid Attachcorethingy: Gigabyte H61M-S2V-B3 Infoholdstick: Corsair 2x4GB DDR3 1333 Computerarmor: Silverstone RL06 "Lookalike" Rememberdoogle: 1TB HDD + 120GB TR150 + 240 SSD Plus + 1TB MX500 AdditionalPylons: Phanteks AMP! 550W (based on Seasonic GX-550) Letterpad: Rosewill Apollo 9100 (Cherry MX Red) Buttonrodent: Razer Viper Mini + Huion H430P drawing Tablet Auralnterface: Sennheiser HD 6xx Liquidrectangles: LG 27UK850-W 4K HDR Link to comment Share on other sites More sharing options... Link to post Share on other sites More sharing options...
Posted January 17, 2018 Author 3 minutes ago, Energycore said: Just a hint since this forum is not about asking people to do your homework for you: start with a sentence that's already a tautology, then using the chart prove that the sentence you started at is equivalent to the one you were given. It's more of studying for my exam, but I'll try to write out a sentence and try to apply the chart to see if I can figure it out Link to comment Share on other sites More sharing options... Link to post Share on other sites More sharing options...
Posted January 17, 2018 4 minutes ago, ExplOregon said: It's more of studying for my exam, but I'll try to write out a sentence and try to apply the chart to see if I can figure it out The one equivalency that looks a lot like your test is the last one: P->(QvR) == (P^~Q)->R Edit: Actually looks like you can solve it by just applying P->Q == ~PvQ We have a NEW and GLORIOUSER-ER-ER PSU Tier List Now. (dammit @LukeSavenije stop coming up with new ones) You can check out the old one that gave joy to so many across the land here Computer having a hard time powering on? Troubleshoot it with this guide. (Currently looking for suggestions to update it into the context of <current year> and make it its own thread) Computer Specs: Spoiler Mathresolvermajig: Intel Xeon E3 1240 (Sandy Bridge i7 equivalent) Chillinmachine: Noctua NH-C14S Framepainting-inator: EVGA GTX 1080 Ti SC2 Hybrid Attachcorethingy: Gigabyte H61M-S2V-B3 Infoholdstick: Corsair 2x4GB DDR3 1333 Computerarmor: Silverstone RL06 "Lookalike" Rememberdoogle: 1TB HDD + 120GB TR150 + 240 SSD Plus + 1TB MX500 AdditionalPylons: Phanteks AMP! 550W (based on Seasonic GX-550) Letterpad: Rosewill Apollo 9100 (Cherry MX Red) Buttonrodent: Razer Viper Mini + Huion H430P drawing Tablet Auralnterface: Sennheiser HD 6xx Liquidrectangles: LG 27UK850-W 4K HDR Link to comment Share on other sites More sharing options... Link to post Share on other sites More sharing options...
Posted January 17, 2018 On 1/16/2018 at 9:39 PM, ExplOregon said: Hello all, I was given a question involving an implication and I'm supposed to show that it is a tautology by using equivalence. We were given a pretty simply chart for equivalences and I cannot see any applicable conversions to show that it is indeed a tautology. I attached the chart below. Well, I will not tell you the answer, but I will tell you what my discrete mathematics teacher always told me:The first step to proving anything is to prove it to yourself. The second step is to prove it to others. The third step is to review your work because you never really understood it anyway. ENCRYPTION IS NOT A CRIME Link to comment Share on other sites More sharing options... Link to post Share on other sites More sharing options...
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 accountSign in
Already have an account? Sign in here.
Sign In Now