หากมีเหตุการณ์เกิดขึ้นจะทำให้เกิดเหตุการณ์ B เกิดขึ้นแล้วมี B หรือ B มี, แสดงโดยที่มีอยู่ในบี
มีสัญลักษณ์ที่แสดงถึง B, แสดงเป็น "=> B"
มีสกรรมกริยา: ถ้า => B และ B => C แล้ว => C (อ่าน: ถ้าหมายถึง B และ B C หมายถึงนั้นหมายถึง C)
ตรรกะความหมาย
ในตรรกะความหมาย (แปล) จะลดลงในความหมาย กล่าวว่าเรื่องสารประกอบ => B เป็นเพียงเนื้อหาที่ยืนยัน: ถ้าเป็นจริงแล้ว B ยังเป็นจริง ในคำอื่น ๆ => B เพียงแค่กล่าวว่าไม่มีทั้ง A และ B เป็นจริงหรือเท็จมากกว่าว่าในความรู้สึกปกติของ "เกิด" บี โดยเฉพาะอย่างยิ่งถ้าเป็นเท็จแล้ว B ใด ๆ => B เป็นจริง เรื่องเป็นความเข้าใจผิดเพราะมีวิธีที่จะทำให้ข้อเสนอเรื่อง B อาจให้ผลลัพธ์ที่ใด