Sanakirja
Tekoälykääntäjä

Vaihtoehtoiset kirjoitusmuodot

Synonyymit

KieliKäännökset
ranskamétallothionéine

Määritelmät

Substantiivi

  1. (biochemistry) Acronym of microtubule.
  2. Initialism of massage therapist.
  3. (military, British) Initialism of mechanical transport.
  4. (logic) modus tollens
  5. (US, engineering) Abbreviation of metric ton.

Erisnimi

  1. Mountain Time.
  2. Abbreviation of Montana: a state of the United States.
  3. Abbreviation of Mato Grosso: a state of Brazil.
  4. Initialism of Masoretic Text.

Esimerkit

  • Let ‘F’ stand for the state of affairs that consists in finite persons possessing and exercising free will. Let ‘p’ stand for ‘God exists’; ‘q’ for ‘F obtains’; ‘r’ for ‘F poses a serious risk of evil’; and ‘s’ for ‘There is no option available to God that counters F.’ With this in place, the argument may be formalized as follows: (1) [(p & q) & r] → s Premiss (2) ~s Premiss (3) ~[(p & q) & r] 1, 2 MT (4) ~(p & q) v ~r 3 DM (5) r Premiss (6) ~(p & q) 4, 5 DS (7) ~p v ~q 6 DM (3) follows from the conjunction of (1) and (2) by modus tollens; De Morgan’s law applied to (3) yields (4); (4) and (5) together lead to (6) by disjunctive syllogism; and another application of De Morgan’s law takes us from (6) to the final conclusion, according to which either God exists or there is free will (but not both).

Taivutusmuodot

MonikkoMTs