{
  localUrl: '../page/exclusive_exhaustive.html',
  arbitalUrl: 'https://arbital.com/p/exclusive_exhaustive',
  rawJsonUrl: '../raw/1rd.json',
  likeableId: 'IcarusAshenhurst',
  likeableType: 'page',
  myLikeValue: '0',
  likeCount: '1',
  dislikeCount: '0',
  likeScore: '1',
  individualLikes: [
    'EricBruylant'
  ],
  pageId: 'exclusive_exhaustive',
  edit: '2',
  editSummary: '',
  prevEdit: '1',
  currentEdit: '2',
  wasPublished: 'true',
  type: 'wiki',
  title: 'Mutually exclusive and exhaustive',
  clickbait: 'The condition needed for probabilities to sum to 1',
  textLength: '1207',
  alias: 'exclusive_exhaustive',
  externalUrl: '',
  sortChildrenBy: 'likes',
  hasVote: 'false',
  voteType: '',
  votesAnonymous: 'false',
  editCreatorId: 'EliezerYudkowsky',
  editCreatedAt: '2016-04-26 23:40:08',
  pageCreatorId: 'EliezerYudkowsky',
  pageCreatedAt: '2016-01-26 21:14:59',
  seeDomainId: '0',
  editDomainId: 'AlexeiAndreev',
  submitToDomainId: '0',
  isAutosave: 'false',
  isSnapshot: 'false',
  isLiveEdit: 'true',
  isMinorEdit: 'false',
  indirectTeacher: 'false',
  todoCount: '0',
  isEditorComment: 'false',
  isApprovedComment: 'true',
  isResolved: 'false',
  snapshotText: '',
  anchorContext: '',
  anchorText: '',
  anchorOffset: '0',
  mergedInto: '',
  isDeleted: 'false',
  viewCount: '407',
  text: 'A set of propositions is "mutually exclusive and exhaustive" when exactly one of the propositions must be true.  For example, of the two propositions "The sky is blue" and "It is not the case that the sky is blue", exactly one of those must be the case.  Therefore, the [1rf probabilities] of those propositions must sum to exactly 1.\n\nIf a set $X$ of propositions is "mutually exclusive", this states that for every two distinct propositions, the probability that both of them will be true simultaneously is zero:\n\n$\\forall i: \\forall j: i \\neq j \\implies \\mathbb{P}(X_i \\wedge X_j) = 0.$\n\nThis implies that for every two distinct propositions, the probability of their union equals the sum of their probabilities:\n\n$\\mathbb{P}(X_i \\vee X_j) = \\mathbb{P}(X_i) + \\mathbb{P}(X_j) - \\mathbb{P}(X_j \\wedge X_j) = \\mathbb{P}(X_i) + \\mathbb{P}(X_j).$\n\nThe "exhaustivity" condition states that the union of all propositions in $X,$ has probability $1$ (the probability of at least one $X_i$ happening is $1$):\n\n$\\mathbb{P}(X_1 \\vee X_2 \\vee \\dots \\vee X_N) = 1.$\n\nTherefore mutual exclusivity and exhaustivity imply that the probabilities of the propositions sum to 1:\n\n$\\displaystyle \\sum_i \\mathbb{P}(X_i) = 1.$',
  metaText: '',
  isTextLoaded: 'true',
  isSubscribedToDiscussion: 'false',
  isSubscribedToUser: 'false',
  isSubscribedAsMaintainer: 'false',
  discussionSubscriberCount: '2',
  maintainerCount: '1',
  userSubscriberCount: '0',
  lastVisit: '2016-02-17 13:05:06',
  hasDraft: 'false',
  votes: [],
  voteSummary: 'null',
  muVoteSummary: '0',
  voteScaling: '0',
  currentUserVote: '-2',
  voteCount: '0',
  lockedVoteType: '',
  maxEditEver: '0',
  redLinkCount: '0',
  lockedBy: '',
  lockedUntil: '',
  nextPageId: '',
  prevPageId: '',
  usedAsMastery: 'false',
  proposalEditNum: '4',
  permissions: {
    edit: {
      has: 'false',
      reason: 'You don't have domain permission to edit this page'
    },
    proposeEdit: {
      has: 'true',
      reason: ''
    },
    delete: {
      has: 'false',
      reason: 'You don't have domain permission to delete this page'
    },
    comment: {
      has: 'false',
      reason: 'You can't comment in this domain because you are not a member'
    },
    proposeComment: {
      has: 'true',
      reason: ''
    }
  },
  summaries: {},
  creatorIds: [
    'EliezerYudkowsky',
    'FedorBelolutskiy'
  ],
  childIds: [],
  parentIds: [
    'probability_theory'
  ],
  commentIds: [],
  questionIds: [],
  tagIds: [
    'math2',
    'c_class_meta_tag'
  ],
  relatedIds: [],
  markIds: [],
  explanations: [],
  learnMore: [],
  requirements: [
    {
      id: '1881',
      parentId: 'reads_logic',
      childId: 'exclusive_exhaustive',
      type: 'requirement',
      creatorId: 'AlexeiAndreev',
      createdAt: '2016-06-17 21:58:56',
      level: '1',
      isStrong: 'false',
      everPublished: 'true'
    }
  ],
  subjects: [],
  lenses: [],
  lensParentId: '',
  pathPages: [],
  learnMoreTaughtMap: {},
  learnMoreCoveredMap: {},
  learnMoreRequiredMap: {},
  editHistory: {},
  domainSubmissions: {},
  answers: [],
  answerCount: '0',
  commentCount: '0',
  newCommentCount: '0',
  linkedMarkCount: '0',
  changeLogs: [
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '23138',
      pageId: 'exclusive_exhaustive',
      userId: 'FedorBelolutskiy',
      edit: '4',
      type: 'newEditProposal',
      createdAt: '2018-12-27 18:01:49',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: 'Some (arguably) important nitpicking that references Cromwell's rule is added, other possible names of the concept are discussed. Some other probabilistic laws are referenced, as well.'
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '18197',
      pageId: 'exclusive_exhaustive',
      userId: 'EricBruylant',
      edit: '0',
      type: 'newTag',
      createdAt: '2016-08-02 19:03:09',
      auxPageId: 'c_class_meta_tag',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '18193',
      pageId: 'exclusive_exhaustive',
      userId: 'EricBruylant',
      edit: '0',
      type: 'newTag',
      createdAt: '2016-08-02 19:01:05',
      auxPageId: 'math2',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '9410',
      pageId: 'exclusive_exhaustive',
      userId: 'EliezerYudkowsky',
      edit: '2',
      type: 'newEdit',
      createdAt: '2016-04-26 23:40:08',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '5713',
      pageId: 'exclusive_exhaustive',
      userId: 'EliezerYudkowsky',
      edit: '0',
      type: 'deleteTag',
      createdAt: '2016-01-26 21:16:12',
      auxPageId: 'stub_meta_tag',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '5711',
      pageId: 'exclusive_exhaustive',
      userId: 'EliezerYudkowsky',
      edit: '1',
      type: 'newEdit',
      createdAt: '2016-01-26 21:14:59',
      auxPageId: '',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '5710',
      pageId: 'exclusive_exhaustive',
      userId: 'EliezerYudkowsky',
      edit: '0',
      type: 'newRequirement',
      createdAt: '2016-01-26 20:59:45',
      auxPageId: 'reads_logic',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '5708',
      pageId: 'exclusive_exhaustive',
      userId: 'EliezerYudkowsky',
      edit: '0',
      type: 'newTag',
      createdAt: '2016-01-26 20:59:37',
      auxPageId: 'stub_meta_tag',
      oldSettingsValue: '',
      newSettingsValue: ''
    },
    {
      likeableId: '0',
      likeableType: 'changeLog',
      myLikeValue: '0',
      likeCount: '0',
      dislikeCount: '0',
      likeScore: '0',
      individualLikes: [],
      id: '5706',
      pageId: 'exclusive_exhaustive',
      userId: 'EliezerYudkowsky',
      edit: '0',
      type: 'newParent',
      createdAt: '2016-01-26 20:59:34',
      auxPageId: 'probability_theory',
      oldSettingsValue: '',
      newSettingsValue: ''
    }
  ],
  feedSubmissions: [],
  searchStrings: {},
  hasChildren: 'false',
  hasParents: 'true',
  redAliases: {},
  improvementTagIds: [],
  nonMetaTagIds: [],
  todos: [],
  slowDownMap: 'null',
  speedUpMap: 'null',
  arcPageIds: 'null',
  contentRequests: {
    lessTechnical: {
      likeableId: '3297',
      likeableType: 'contentRequest',
      myLikeValue: '0',
      likeCount: '1',
      dislikeCount: '0',
      likeScore: '1',
      individualLikes: [],
      id: '20',
      pageId: 'exclusive_exhaustive',
      requestType: 'lessTechnical',
      createdAt: '2016-08-02 19:00:15'
    }
  }
}