Bir mantık önermesi olan "İstanbul bir şehirdir ve Ankara başkenttir" ifadesinin sembolleştirilmiş hali aşağıdakilerden hangisidir?