The story of John Forbes Nash Jr. is definitely connected with Logic, as he is a mathematician. In his breaking of many perplexing mathematical problems, he used logic. And in producing his famous Game theory, logical systems were used. Among the important properties that logical systems can have:
Consistency, which means that no theorem of the system contradicts another.
Validity, which means that the system's rules of proof will never allow a false inference from true premises. A logical system has the property of soundness when the logical system has the property of validity and only uses premises that prove true (or, in the case of axioms, are true by definition).
Completeness, which means that if a theorem is true, it can be proven.
Soundness, which means that the premises are true and the argument is valid. In one of the scenes in the movie, where Nash was in a bar with friends, the use of logic was very evident. While Nash and his friends