Propositional calculus
Edwardian era
Canada
RMS Titanic
United Kingdom
Negation
Inference
Logic
Watercraft
Boolean algebra