P -> Q

P: Det finns en möjlighet i en av alla möjliga världar att du kommer komma ikväll med nödvändighet  Q: Det är möjligt i alla möjliga världar att du kommer ikväll med nödvändighet  Om P så Q:  Om P:(det finns en möjlighet i en av alla  möjliga världar att du kommer komma ikväll med nödvändighet) så är Q:(det möjligt att du kommer ikväll med nödvändighet).  P -> Q bara i ett av fyra fall är P -> Q falskt Slutsats: du kommer ikväll.