GAME BET P→q ~9~p Beni seviyorsan, gitmeme izin verirsin Gitmeme izin vermiyorsan, beni sevmiyorsun demektir

Kaynak

Resimde, iki farklı mantık önermesinin (önerme biçimi) ve bunların karşılık gelen günlük yaşam örneklerinin gösterildiği bir meme görülüyor. Üst kısımda, "p → q" önermesi görülüyor. Bu, "eğer p ise q'dır" anlamına gelir. Resimdeki örnek olarak, "Beni seviyorsan, gitmeme izin verirsin" yazısı yer alıyor. Yani, p = "beni seviyorsan", q = "gitmeme izin verirsin". Bu mantıksal ilişki, günlük hayattaki bir ilişki veya durumun olası sonucunu gösterir. Alt kısımda, "~q → ~p" önermesi görülüyor. Bu, "eğer q değilse, p de değildir" anlamına gelir. Resimdeki örnek olarak, "Gitmeme izin vermiyorsan, beni sevmiyorsun demektir" yazısı yer alıyor. Yani, ~q = "gitmeme izin vermiyorsan", ~p = "beni sevmiyorsun". Bu, ilk önermenin tersini (olumsuzunu) gösterir, yani mantıksal olarak eşdeğerdir. Meme, mantıksal akıl yürütmeyle günlük durumları ilişkilendirilerek, genellikle sevgi ve ilişkiler bağlamında ilişkinin yönünün nasıl değiştiğini komik bir şekilde göstermektedir. Aynı mantıksal yapı, farklı örneklerde kullanılarak bir ilişkinin mantıksal sonuçlarına değinirken, bir tür ironi veya mizah yaratmaktadır.