[permalink] [id link]

Every use of modus tollens can be converted to a use of modus ponens and one use of transposition to the premise which is a material implication.

from
Wikipedia

## Some Related Sentences

Every and use

These languages all

__use__special-purpose knowledge engineering because as stated by Tom Gruber, "__Every__ontology**is****a**treaty-a social agreement among people with common motive in sharing**.**__Every__screenplay

**and**teleplay begins with an idea,

**and**screenwriters

__use__those ideas

**to**write scripts, with

**the**intention

**of**selling them

**and**having them produced

**.**

__Every__data source has

**a**different data-access language ( or API ), driving up

**the**costs

**to**learn

**and**

__use__each vendor's product

**.**

__Every__sailing ship has

**a**hull, rigging

**and**at least

**one**mast

**to**hold up

**the**sails that

__use__

**the**wind

**to**power

**the**ship

**.**

__Every__spring, storm chasers head

**to**

**the**Great Plains

**of**

**the**United States

**and**

**the**Canadian Prairies

**to**explore

**the**scientific aspects

**of**storms

**and**tornadoes through

__use__

**of**videotaping

**.**

__Every__

__use__

**of**

**a**bank machine, payment by credit card,

__use__

**of**

**a**phone card, call from home, checked out library book, rented video, or otherwise complete recorded transaction generates an electronic record

**.**

Controversy ensued over

**the**__use__**of****the**phrase "__Every__seat lost**to****the**government**is****a**seat sold**to****the**Boers " as**the**Unionists waged**a**personalised campaign against Liberal critics**of****the**war – some posters even portrayed Liberal MPs praising President Kruger**and**helping him**to**haul down**the**Union Jack**.**__Every__year,

**the**post office also creates

**a**special Christmas hand-cancellation pictorial postmark for

__use__during December,

**which**also attracts mail from all over

**the**world

**.**

One unique challenge that

**the**team encountered early on was related**to**deph perception,**the**team remedied through**the**__use__**of**shadows:__Every__object in**the**game has**a**shadow directly below it regardless**of****the**area's lighting**.**__Every__woman, being with child, who, with intent

**to**procure her own miscarriage, shall unlawfully administer

**to**herself any poison or other noxious thing, or shall unlawfully

__use__any instrument or other means whatsoever with

**the**like intent,

**and**whosoever, with intent

**to**procure

**the**miscarriage

**of**any woman whether she

**be**or

**be**not with child, shall unlawfully administer

**to**her or cause

**to**

**be**taken by her any poison or other noxious thing, or unlawfully

__use__any instrument or other means whatsoever with

**the**like intent, shall

**be**guilty

**of**felony,

**and**being convicted thereof shall

**be**liable

**.**

__Every__20 ms frame may

**be**transmitted at

**a**different rate, as determined by

**the**service in

__use__( voice or data ).

__Every__name lookup must either start with

**a**query

**to**

**a**root server or

__use__information that was once obtained from

**a**root server

**.**

__Every__locally constant function from

**the**real numbers R

**to**R

**is**constant by

**the**connectedness

**of**R

**.**But

**the**function f from

**the**rationals Q

**to**R, defined by f ( x ) = 0 for x < π,

**and**f ( x ) = 1 for x > π,

**is**locally constant ( here we

__use__

**the**fact that π

**is**irrational

**and**that therefore

**the**two sets

__Every__proposition in itself

**is**composed out

**of**ideas in themselves ( for simplicity, we will

__use__proposition

**to**mean " proposition in itself "

**and**idea

**to**refer

**to**an objective idea or idea in itself

**.**

For example,

**to**study**the**theorem “__Every__bounded sequence**of**real numbers has**a**supremum ” it**is**necessary**to**__use__**a**base system**which****can**speak**of**real numbers**and**sequences**of**real numbers**.**__Every__winter,

**the**Asahikawa Winter Festival

**is**held on

**the**bank

**of**

**the**Ishikari River, making

__use__

**of**Asahikawa's cold climate

**and**snow

**.**

__Every__academician might

__use__his favourite form

**of**Interlingua,

**the**term being initially used in

**a**general sense as

**a**synonym for international language, yet it soon began

**to**

**be**specially used

**to**denote

**a**reformed Latino sine flexione based on

**the**common rules

**the**academicians were reaching by frequent votings

**.**

__Every__lobsterman

**is**required

**to**

__use__

**a**lobster gauge

**to**measure

**the**distance from

**the**lobster's eye socket

**to**

**the**end

**of**its carapace: if

**the**lobster

**is**less than long, it

**is**too young

**to**

**be**sold

**and**must

**be**released back

**to**

**the**sea

**.**

Every and can

__Every__such subset has

**a**smallest element, so

**to**specify our choice function we

__can__simply say that it maps each set

**to**

**the**least element

**of**that set

**.**

__Every__information exchange between living organisms — i

**.**e

**.**transmission

**of**signals that involve

**a**living sender

**and**receiver

__can__

**be**considered

**a**form

**of**communication ;

**and**even primitive creatures such as corals are competent

**to**communicate

**.**

__Every__context-sensitive grammar

**which**does not generate

**the**empty string

__can__

**be**transformed into an equivalent

**one**in Kuroda normal form

**.**

__Every__grammar in Chomsky normal form

**is**context-free,

**and**conversely, every context-free grammar

__can__

**be**transformed into an equivalent

**one**

**which**

**is**in Chomsky normal form

**.**

__Every__module over

**a**division ring has

**a**basis ; linear maps between finite-dimensional modules over

**a**division ring

__can__

**be**described by matrices,

**and**

**the**Gaussian elimination algorithm remains applicable

**.**

__Every__entire function

__can__

**be**represented as

**a**power series that converges uniformly on compact sets

**.**

Group actions / representations:

__Every__group G__can__**be**considered as**a**category with**a**single object whose morphisms are**the**elements**of**G**.**A functor from G**to**Set**is**then nothing but**a**group action**of**G on**a**particular set, i**.**e**.****a**G-set**.**__Every__sequence

__can__, thus,

**be**read in three reading frames, each

**of**

**which**will produce

**a**different amino acid sequence ( in

**the**given example, Gly-Lys-Pro, Gly-Asn, or Glu-Thr, respectively ).

__Every__hyperbola

**is**congruent

**to**

**the**origin-centered East-West opening hyperbola sharing its same eccentricity ε ( its shape, or degree

**of**" spread "),

**and**

**is**also congruent

**to**

**the**origin-centered North-South opening hyperbola with identical eccentricity ε — that

**is**, it

__can__

**be**rotated so that it opens in

**the**desired direction

**and**

__can__

**be**translated ( rigidly moved in

**the**plane ) so that it

**is**centered at

**the**origin

**.**

__Every__holomorphic function

__can__

**be**separated into its real

**and**imaginary parts,

**and**each

**of**these

**is**

**a**solution

**of**Laplace's equation on R < sup > 2 </ sup >.

__Every__species

__can__

**be**given

**a**unique (

**and**,

**one**hopes, stable ) name, as compared with common names that are often neither unique nor consistent from place

**to**place

**and**language

**to**language

**.**

__Every__vector v in determines

**a**linear map from R

**to**taking 1

**to**v,

**which**

__can__

**be**thought

**of**as

**a**Lie algebra homomorphism

**.**

__Every__adult, healthy, sane Muslim who has

**the**financial

**and**physical capacity

**to**travel

**to**Mecca

**and**

__can__make arrangements for

**the**care

**of**his / her dependants during

**the**trip, must perform

**the**Hajj once in

**a**lifetime

**.**

*

__Every__finite topological space gives rise**to****a**preorder on its points, in**which**x ≤ y if**and**only if x belongs**to**every neighborhood**of**y,**and**every finite preorder__can__**be**formed as**the**specialization preorder**of****a**topological space in this way**.**
*

__Every__preorder__can__**be**given**a**topology,**the**Alexandrov topology ;**and**indeed, every preorder on**a**set**is**in one-to-one correspondence with an Alexandrov topology on that set**.**__Every__binary relation R on

**a**set S

__can__

**be**extended

**to**

**a**preorder on S by taking

**the**transitive closure

**and**reflexive closure, R < sup >+=</ sup >.

0.162 seconds.