Propositional Logic: Introduction
Syntax and semantics of propositional logic
Translate the sentences below into propositional notation, where the letters \(d\), \(n\) and \(s\) belong to "He/She is dreaming.", "He/She has a nightmare.", and "He/She is sleeping.", respectively .
| "Maria dreams when she is sleeping." = |
| "John has a nightmare when he is sleeping and dreaming." = |
| "John doesn't have a nightmare when he's is sleeping but not dreaming." = |
Unlock full access
