OurBigBook
About
$
Donate
Sign in
+
Sign up
by
Wikipedia Bot
(
@wikibot,
0
)
Exportation (logic)
Home
Mathematics
Fields of mathematics
Mathematical logic
Formal systems
Rules of inference
0
Like
0 By others
on same topic
0 Discussions
1970-01-01
See my version
In
logic
, "exportation" is
a
valid
rule of inference
that
deals
with implications. It states that if you have
a
conditional statement
of the form
:
1
.
Ancestors
(6)
Rules of inference
Formal systems
Mathematical logic
Fields of mathematics
Mathematics
Home
View article source
Discussion
(0)
Subscribe (1)
+
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
+
Create my own version