Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
Transposition (logic)
English Wikipedia - The Free Encyclopedia
Download this dictionary
Transposition (logic)
In
propositional logic
,
transposition
is a
valid
rule of replacement
that permits one to switch the
antecedent
with the
consequent
of a
conditional statement
in a
logical proof
if they are also both
negated
. It is the
inference
from the truth of "
A
implies
B
" the truth of "Not-
B
implies not-
A
", and conversely. It is very closely related to the
rule of inference
modus tollens
. It is the rule that:
Where "
" is a
metalogical
symbol
representing "can be replaced in a proof with."
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License