Explains the concepts of a proposition and its truth value
Explains what a proposition is and which truth values it has; does not cover logical operations.
Can AI do this?
AI does this well Most of the tested AI models master this. 4 of 4 models in the current benchmark master it.
| Model | Tier | Probability of mastery | Status |
|---|---|---|---|
| gemini-4-argon | Flagship | 100% | Mastered |
| gemini-3.5-flash-lite | Low cost | 100% | Mastered |
| gpt-6-luna | Low cost | 100% | Mastered |
| claude-haiku-5-5 | Low cost | 100% | Mastered |
Mastered means a probability of at least 90% that the model has this knobit, estimated from its graded answers. “Not shown” means the answers do not settle it either way. How the models are tested.
What it looks like in practice
Expected result: An explanation that a proposition is a statement that is either true or false, with an example and a counter-example
How it is assessed: Tells a proposition from other sentences (a question, a command, an expression with an unknown)
Also known as: Selgitab loogikalause ja tõeväärtuse mõistet
Related knobits
Needed for
All knobits of Data modelling.
Source: Copy of k12 knobit K-8017 of the Estonian national curriculum register matemaatika (product k12-curriculum, skills/knobits/k12/matemaatika.yaml), GRÕK lisa 8, valikkursus „Loogika“, õppe-eesmärk 4; fingerprint translated from Estonian