Semantic constraints and truth-preserving rules of inference

Note that unusual semantic constraints can make unusual rules of inference truth-preserving

Hate and love are mutually excluding

'P hates Q' and 'P loves Q' are not both true.

Modus odii

Premises:

P hates Q.

Conclusion:
P does not love Q.

Previous slide

Next slide

Back to first slide

View graphic version