Editing
Pigs would fly
Jump to navigation
Jump to search
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
'''"Pigs would fly."''' is a phrase used as a conclusion to show that the corresponding assumption is impossible. ==Mainly about== In conditional sentences<ref>In this context, it is a statement with an assumption and a conclusion. </ref>, it is a kind of wordplay or rhetoric used in the concluding part to show that an assumption is improbable. For example, considering the case that there is a given assumption "[[User:Notorious|Notorious]] is a genius" and a person says "If [[User:Notorious|Notorious]] were a genius, pigs would fly", we can see that the person thinks that "[[User:Notorious|Notorious]] can't be a genius.<ref>But why? He is a genius.</ref> ==The logical consistency of saying it== The problem if there is any consistency in concluding that "pigs fly" when the assumption is impossible (called "''Pigs! Would! Fly!''" Problem) has only recently begun to be pointed out, and since ancient times it has continued to trouble the minds of logicians, philosophers, physicists, mathematicians, or cultists <del>who like to fantasize about things that are totally useless in reality</del>. However, it is now known that this "Pigs! Would! Fly!" Problem can be proven by the contrapositive argument. Let an improbable assumption be symbolically "Mn". Now, we are supposed to determine whether the proposition "If Mn, then pigs will fly." is true or not. We can prove that the proposition "If Mn, then pigs fly." by proving that its contrapositive "If pigs do not fly, then not-Mn," because the truth values of a proposition P and its contraposition Q are equal. For the assumption "Pigs do not fly." of the proposition "If pigs do not fly, then not-Mn," it always stands; in this world, a pig would never fly. For the conclusion "Not-Mn," it is always true because Mn is known to be always false. Thus, it is true that, in this contrapostion, the conclusion is true when the assumption is true. Now we have proved this contraposition. Therefore, the proposition "If Mn, pigs would fly." is also true. Now we have a consistency upon saying "Pigs would fly." as a conclusion of an improbable assumption, and upon expressing the improbabity itself by saying so. ==Footnote== <references /> [[ja:θ±γι£γΆ]] [[nm:P2s w3d f1y]]
Summary:
Please note that all contributions to WikiWiki are considered to be released under the Creative Commons 0 (Public Domain Dedication) (see
WikiWiki:Copyrights
for details). If you do not want your writing to be edited mercilessly and redistributed at will, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource.
Do not submit copyrighted work without permission!
Cancel
Editing help
(opens in new window)
Navigation menu
Personal tools
Not logged in
Talk
Contributions
Create account
Log in
Namespaces
Page
Discussion
English
Views
Read
Edit
Edit source
View history
More
Search
Navigation
Main page
Recent changes
Random page
Help about MediaWiki
Tools
What links here
Related changes
Upload file
Special pages
Page information