Question 1
Consider these premises:
• All programmers write code
• Some code contains bugs
• Alice is a programmer
Which conclusion logically follows?
By combining the premises logically:
• All programmers write code
• Some code contains bugs
• Alice is a programmer
We can deduce: Alice writes code
This uses 3-step logical reasoning, applying transitive properties and categorical logic.
• All programmers write code
• Some code contains bugs
• Alice is a programmer
We can deduce: Alice writes code
This uses 3-step logical reasoning, applying transitive properties and categorical logic.