Logicmedium
0:00.0

If PP is 'The cake is chocolate' and QQ is 'The cake is delicious', how do you express 'The cake is chocolate is a sufficient condition for the cake being delicious'?