Real-world discrete math

- [Voiceover] Discrete math can be helpful…in solving real world problems.…Logic, is the study of formal reasoning.…Discrete math involves many forms…of evaluating logical statements.…A statement in logic always has…a specific and well defined meaning.…Let's consider an example involving a jury trial.…The defense attorney uses the facts presented…to show a time-line that proves…his or her client is innocent.…It might go something like this:…"The prosecution claims that my client"…"ran a stop sign outside the Casa Blanca club."…"Let's assume that they are correct."…"You've heard eyewitness testimonies that the incident"…"took place at 1:15 AM."…"We also know that the defendant was seen"…"on a security camera feed provided to us"…"by the apartment superintendent,"…"arriving at his residence that night at 1:30 AM."…"Based on this evidence, my client had 15 minutes"…"to get from the club to his residence, in order"…"to have been at the scene at the time of the incident."…"But we know that it takes at least 30 minutes"…