A good prompt is a small argument plus a request, and so is any clear ask in life. Give your premises, terms, limits and goal, and there is less to guess. It can still be wrong, so check.
One request, seven kinds of logicExplain why the Moon seems to change shape.Act as a patient elementary-school science teacher.My daughter asked me at bedtime after we saw a thin crescent Moon from her window.Cover only why the shape changes, not eclipses or tides.The goal is that my daughter can explain it back to me in her own words.If you use a fact I might want to check, tell me what kind of source an adult could check it in.Briefly show it from far out in space, looking down on the Earth and Moon, where you can see the Moon is always half lit by the Sun.Before you answer, ask me one or two questions if anything about my daughter is unclear.
Part one · logic in five minutes
Logic is how a reader follows you
A chatbot has never met you. Everything it knows about your request is what you wrote. These are the ideas logicians use to make a line of thought easy to follow, and each one has a job in a prompt.
Premise
A statement you take as given and reason from. If a premise is false, anything built on it can be false too.
'The museum is closed on Mondays' is a premise. Your plan for Monday starts from it.
In a prompt: Your context, examples and definitions are the premises. The model reasons from what you give it, or from what it guesses.
Inference and conclusion
An inference is the step from premises to a new claim. The conclusion is where that step lands: the thing you wanted to show or decide.
The museum is closed on Mondays. Today is Monday. So the museum is closed today.
In a prompt: Your objective names the conclusion you want. The answer is the model's step from your premises toward that goal.
Domain of discourse
The set of things a statement is talking about. Words like 'all' and 'everyone' only make sense inside a chosen domain.
'Everyone passed the test' is about one class, not everyone on Earth.
In a prompt: Scope sets the domain. Without it, the model picks one for you, often wider or narrower than you meant.
Definition and ambiguity
A definition fixes what a word means. A word is ambiguous when it could mean more than one thing. Sliding between meanings mid-argument is called equivocation.
'A light meal' could mean low in calories or just small. Saying which one removes the doubt.
In a prompt: Terminology defines your key words, so 'cheap', 'short' or 'simple' mean what you mean.
Necessary and sufficient conditions
A necessary condition must be met, but may not be enough. A sufficient condition is enough on its own.
A ticket is necessary to ride the train, but not sufficient: the train also has to be running.
In a prompt: Limits, format and time frame are necessary conditions. Meeting them all still does not guarantee a good answer.
Evidence and induction
Evidence is what supports a claim. Induction draws a general pattern from particular cases. It can be strong, but it is never certain.
Every swan you have seen is white, so you expect the next one to be. Then you visit Australia and meet a black swan.
In a prompt: Examples teach by induction. Citations, statistics and quotes are evidence, and they only count if they are real.
Counterexample
A single case that shows a general claim is false. Hunting for one is how you test an idea instead of just believing it.
'All birds can fly.' Penguins are a counterexample, and one is enough.
In a prompt: Counterarguments and other points of view ask the model to look for the case where your idea fails.
Grice's maxims
Philosopher H. P. Grice described what cooperative talk assumes: say enough but not too much, say what is true, stay relevant, and be clear.
'I'm out of petrol (gas).' 'There's a garage (a gas station) round the corner.' You assume it is open and sells fuel. That is cooperative talk at work.
In a prompt: A good prompt gives the model what it needs to be informative, truthful, relevant and clear for your purpose.
Grice described talk between people. Using his maxims on a chatbot is a useful lens, not a claim that the model is a cooperative person.
Try it · valid is not the same as true
P1All mammals breathe air.
P2Whales are mammals.
∴So whales breathe air.
ValidSound
Good form, bad facts, confident nonsense.
Both arguments have the same valid form: if the premises were true, the conclusion would have to be. Only the first is sound, because its premises really are true.
The same goes for prompts. A tidy, well-structured request can still be built on a wrong premise, and the answer will follow it faithfully.
Part two · the elements
The periodic table of a prompt
Twenty-one parts, in seven logical families. You never need all of them at once. Each one you leave out is something the model has to guess. Tap any element to read it.
Speaker, listener and voiceWho is speaking, to whom, and how?
Ac
Act as
01 of 21
A role for the model to take on, which sets its vocabulary, depth and point of view.
The logicFixes the speaker's standpoint. Like choosing a perspective in an argument, it shapes which premises seem relevant and which words get used. It adds no knowledge or credentials.
WeakGive me tips for my vegetable garden.
StrongAct as an experienced community gardener. Give me tips for my vegetable garden.
?Leave it out and the model guesses Which expert voice, level of detail and angle you want.
Watch out: A role is a costume, not a qualification. A model playing a doctor is not a doctor, so check health, legal or money advice with a real one.
Au
Audience
02 of 21
Quantity
Who will read or use the answer, and what they already know.
The logicSets the shared background the answer can assume. What counts as informative enough depends on the listener, so the audience fixes how much to explain.
WeakExplain how a mortgage works.
StrongExplain how a mortgage works to someone buying their first home who has never taken out a loan.
?Leave it out and the model guesses Whether to explain the basics or skip them, and which words the reader knows.
Watch out: A vague audience like 'beginners' helps less than saying what they already know and what they need to do with the answer.
To
Tone
03 of 21
The emotional colour of the reply: friendly, formal, firm, playful or calm.
The logicTone changes how something is said, not what is claimed. Logic separates content from expression, and tone is a request about expression.
WeakWrite a message telling my team the picnic is cancelled.
StrongWrite a warm, upbeat message telling my team the picnic is cancelled.
?Leave it out and the model guesses Whether to sound warm, neutral, formal or blunt.
Watch out: Tone can blur content. If you ask for 'reassuring', check the reply has not softened a fact you needed to hear plainly.
La
Language
04 of 21
Manner
Which language to answer in, and how plain or technical the wording should be.
The logicA statement only works if both sides read it the same way. Choosing the language and reading level avoids obscurity, which Grice's maxim of Manner warns against.
WeakWrite instructions for my neighbour on watering my plants.
StrongWrite instructions in simple Spanish for my neighbour on watering my plants.
?Leave it out and the model guesses Which language, spelling and reading level to use.
Watch out: A translation can sound fluent and still be wrong. For anything important, like medicine labels or contracts, ask a fluent speaker to check it.
2
Family 2 of 7
Premises
What is given, and definedWhat can the answer take as given?
Cx
Context
05 of 21
Relation
The background facts of your situation that the answer should build on.
The logicContext supplies the premises: the statements taken as given. A conclusion is only as good as the premises it starts from.
WeakSuggest a dinner I can cook tonight.
StrongI have rice, eggs, spinach and twenty minutes, and my partner is vegetarian. Suggest a dinner I can cook tonight.
?Leave it out and the model guesses Your situation, so it fills the gap with a typical case that may not be yours.
Watch out: False premises give confident nonsense. If your background facts are wrong or out of date, a well-reasoned answer is likely to be wrong too.
Ex
Examples
06 of 21
One or more samples of what a good answer looks like.
The logicExamples work by induction: from a few cases the model infers a general pattern. Like any induction, the pattern it picks may not be the one you meant.
WeakSuggest names for my new grey kitten.
StrongSuggest names for my new grey kitten. Names I like: Pebble, Smudge, Biscuit.
?Leave it out and the model guesses The style, length and pattern you have in your head.
Watch out: Models can copy examples closely, including their accidents. If all your examples are food words, expect more food words. Vary them on purpose.
Kw
Keywords
07 of 21
Relation
Words or names that must appear, or that pin down the topic.
The logicKeywords mark the subject terms the answer must be about. They work as a relevance test: an answer that never touches them has drifted off the question.
WeakWrite a short bio for my bakery's website.
StrongWrite a short bio for my bakery's website. Mention sourdough, our family recipes and the Saturday market.
?Leave it out and the model guesses Which specific names, things or ideas you care about.
Watch out: A long keyword list turns into word salad. Pick the few terms that truly matter, and check they are used correctly, not just dropped in.
Tm
Terminology
08 of 21
Manner
Definitions for the words in your request that could mean more than one thing.
The logicDefining terms blocks equivocation, the error of letting one word shift meaning partway through. A definition fixes what a key word refers to from start to finish.
WeakGive me a training plan for a long-distance race.
StrongGive me a training plan for a long-distance race. By long-distance I mean a 10 km race, not a marathon.
?Leave it out and the model guesses Which meaning of an ambiguous word you have in mind.
Watch out: Your own words feel obvious to you. Words like 'cheap', 'soon', 'healthy' and 'short' are where misunderstandings hide. Pin them down with numbers.
3
Family 3 of 7
Bounds
Domain of discourse and constraintsWhat is in, what is out, what shape?
Sc
Scope
09 of 21
Relation
What the answer should cover, and what it should leave out.
The logicScope sets the domain of discourse: the set of things the conversation is about. Claims are judged inside that domain, so a fuzzy domain gives fuzzy answers.
WeakTell me about the history of bicycles.
StrongTell me about the history of bicycles from 1860 to 1900, covering design changes only, not racing.
?Leave it out and the model guesses How wide or narrow to go, and what counts as off topic.
Watch out: A scope that is too narrow can hide what matters. Invite the model to flag anything important just outside your boundary.
Li
Limitations
10 of 21
Rules the answer must obey, such as length, cost or things to avoid.
The logicLimitations are necessary conditions: an answer that breaks one fails, however good it is otherwise. Meeting every limitation still does not make an answer good enough.
WeakSuggest a birthday party activity for ten-year-olds.
StrongSuggest a birthday party activity for ten-year-olds that works indoors, needs no screens and uses only things most homes already have.
?Leave it out and the model guesses Your hard limits, so it may suggest things you cannot use.
Watch out: Check the answer against each limit yourself. Models sometimes quietly break a rule, such as a word count, while sounding as if they kept it.
Dl
Deadline
11 of 21
The time frame your task, or the information you need, belongs to.
The logicMostly practical, not logical. A chat model answers when asked, not on a schedule. The logical part is a time index: many claims are true only as of a date.
WeakMake a study plan for my driving test.
StrongMake a study plan for my driving test, which is three weeks from today.
?Leave it out and the model guesses Which dates matter, and how current the facts must be.
Watch out: Models have a knowledge cutoff and may not know today's date. For anything time-sensitive, give the date yourself and check recent facts elsewhere.
Fm
Format
12 of 21
Manner
The shape of the answer: a list, a table, steps, an email or a short paragraph.
The logicFormat is a constraint on form, not content. It answers Grice's advice to be orderly: the same information is easier to check in a shape you can scan.
WeakCompare walking, cycling and taking the bus to work.
StrongCompare walking, cycling and taking the bus to work in a table with one row per option.
?Leave it out and the model guesses Whether you want a list, a table, a paragraph or steps.
Watch out: A neat table can make guesses look like facts. Format makes an answer easier to read, not more reliable.
4
Family 4 of 7
Goal
The conclusion you wantWhat should the answer achieve?
Ob
Objective
13 of 21
Relation
What you want the answer to achieve: the point of the whole request.
The logicThe objective is the conclusion you are reasoning toward. Without it, relevance has no anchor, since Grice tied relevance to the purpose of the conversation.
WeakTell me about electric cars.
StrongTell me about electric cars so I can decide whether my next car should be one.
?Leave it out and the model guesses Why you are asking, so it cannot tell what is useful.
Watch out: Stating a goal can tilt the answer toward it. Ask 'help me decide' rather than 'convince me', unless you really want only one side.
Ca
Call to action
14 of 21
The next step the answer should end on, for you or for the people who read it.
The logicAn argument can end in a practical conclusion: a decision about what to do. A call to action turns the reasoning into one clear next step.
WeakWrite a flyer about our street clean-up.
StrongWrite a flyer about our street clean-up that ends by asking readers to sign up at the library desk.
?Leave it out and the model guesses Whether to end with a next step, and what that step is.
Watch out: Pushy calls to action backfire. Ask for one clear, honest next step, not pressure or invented urgency like 'only two places left'.
5
Family 5 of 7
Evidence
Support for claimsWhat backs up each claim?
Ci
Citations
15 of 21
Quality
Sources the answer should point to, so you can check where each claim comes from.
The logicA citation links a claim to its evidence. It serves Grice's maxim of Quality: do not say things you lack adequate evidence for.
WeakExplain whether reading in dim light harms your eyes.
StrongUsing only the health article pasted below, explain whether reading in dim light harms your eyes, and say which paragraph supports each point.
?Leave it out and the model guesses Whether you need sources, and which kinds you trust.
Watch out: Models can invent citations that look real: plausible titles, authors and links that do not exist. Give your own sources when you can, and open every citation before trusting it.
St
Statistics
16 of 21
Quality
Numbers that support a claim, such as counts, averages or rates.
The logicUsing a number to support a general claim is a form of induction. A number supports a claim only if it is real, recent and about the right group.
WeakWrite a paragraph on why our town needs a new crossing.
StrongWrite a paragraph on why our town needs a new crossing, using the traffic survey figures pasted below.
?Leave it out and the model guesses Whether you want numbers, and how precise they must be.
Watch out: Models can produce precise-looking numbers with no real source. Supply your own data where possible, and trace every number to its origin before you repeat it.
Qu
Quotes
17 of 21
Quality
Exact words from a real person or text, repeated word for word.
The logicA quotation is testimony: evidence that someone said something. It counts only if it is accurate and in context. A misquote is a false premise.
WeakWrite a short speech for my grandmother's 90th birthday.
StrongWrite a short speech for my grandmother's 90th birthday, quoting her favourite saying, which I have written out exactly below.
?Leave it out and the model guesses Whether you want quotes, from whom, and how exact.
Watch out: Models can invent quotations or pin real ones on the wrong person. Paste the exact words yourself, or check any quote against a reliable original.
6
Family 6 of 7
Testing
Counterexamples and other standpointsWhere could this reasoning fail?
Pv
Points of view
18 of 21
Other people's perspectives the answer should consider, not only yours.
The logicLooking from several standpoints tests whether a conclusion holds for everyone affected. A premise that seems obvious from one side may be false or irrelevant from another.
WeakShould our family get a dog?
StrongShould our family get a dog? Consider it from the view of the kids, the parents who will walk it, and our elderly neighbour.
?Leave it out and the model guesses Whose interests and views count, so it may give only one side.
Watch out: Listing views is not the same as weighing them. Two sides shown as equal can hide that one has much better evidence.
Co
Counterarguments
19 of 21
The strongest objections to an idea, so you can test it before relying on it.
The logicPopper's idea of falsification: try to refute an idea, not only confirm it. One counterexample can sink a general claim, and objections look for the weak spots.
WeakHere is my plan to start selling handmade candles online.
StrongHere is my plan to start selling handmade candles online. Give me the three strongest reasons it could fail.
?Leave it out and the model guesses Whether you want honest pushback or simple agreement.
Watch out: Models tend to agree with the person asking. If you never ask for objections, the lack of any is not evidence your idea is good.
An
Analogies
20 of 21
Manner
A comparison with something familiar that helps explain something new.
The logicAn analogy maps the structure of a known case onto a new one. It explains and can suggest, but it never proves; test it by finding where it breaks.
WeakExplain how a computer's memory works.
StrongExplain how a computer's memory works using an analogy from cooking in a kitchen.
?Leave it out and the model guesses Which familiar things you know well enough to compare against.
Watch out: Every analogy breaks somewhere. Ask the model to say where its comparison stops working, so you do not carry the wrong part over.
7
Family 7 of 7
Dialogue
Cooperation that closes the gapsWhat is still missing, and who supplies it?
Qs
Questions
21 of 21
Quantity
An invitation for the model to ask you what it needs before it answers.
The logicQuestions turn a one-shot guess into a dialogue. Missing premises get supplied instead of assumed, so the answer can be as informative as you need.
WeakHelp me write a cover letter for a job.
StrongHelp me write a cover letter for a job. Before you start, ask me up to five questions about the role and my experience.
?Leave it out and the model guesses Everything you forgot to say, silently filled in with typical defaults.
Watch out: The model's questions are only as useful as your answers. Answer honestly and specifically; if you guess, it will build on your guess.
Part three · the lab
Build a prompt, watch the guessing shrink
1 · Pick a task
2 · Switch parts on and off
3 · Your prompt
21
parts left unsaid each one is something the model fills in for itself
More parts is not always better: “everything” makes a long prompt. The skill is noticing which guesses matter for this task and closing those.
Part four · the game
Spot the missing piece
Each request below got a disappointing answer. Which single part, added to the prompt, would have helped most?
Pick an answer.
Part five · honest limits
Structure is not truth
Structure is not truth
A well-built prompt makes a useful answer more likely. It does not make the answer true. A valid argument from false premises can reach a false conclusion with nothing in its form to warn you, and a model can reason smoothly from a wrong guess.
Sources can be invented
When asked for citations, quotes or statistics, models sometimes produce ones that look real but do not exist. Give your own sources and data where you can, and check every reference, quote and number before you rely on it or share it.
Knowledge has a cutoff
A model learned from text up to a certain date. It may not know what happened since, or even what today's date is. Say 'as of' when time matters, and check recent facts with a current source.
A role is not a credential
Telling a model to act as a doctor, lawyer or accountant changes its vocabulary and angle. It does not give it training, a licence, accountability, or knowledge of your full situation.
You stay responsible
The answer is a draft for you to judge, not a decision made for you. For health, legal, money or safety questions, check with a qualified person before you act.
Part six · keep this
The checklist
Before you press send, run down the families. Ticks stay in this browser only.
Where these ideas come from
Sources
forall x: An Introduction to Formal Logic · P. D. Magnus. Free open textbook. Arguments, premises and conclusions, validity versus soundness, quantifiers and the domain of discourse.
Logic and Conversation · H. P. Grice, 1975. In P. Cole and J. L. Morgan (eds.), Syntax and Semantics, Vol. 3: Speech Acts, Academic Press, pp. 41-58. Source of the cooperative principle and the maxims of Quantity, Quality, Relation and Manner, and the petrol and garage example.
Paul Grice · Richard E. Grandy and Richard Warner. Stanford Encyclopedia of Philosophy. Overview of Grice's work, including conversational implicature.
Implicature · Wayne Davis. Stanford Encyclopedia of Philosophy. The cooperative principle, the maxims and how listeners fill gaps in what is said.
Logical Consequence · J. C. Beall, Greg Restall and Gil Sagi. Stanford Encyclopedia of Philosophy. What it means for a conclusion to follow from premises; background for validity.
Definitions · Anil Gupta and Stephen Mackereth. Stanford Encyclopedia of Philosophy. Kinds and purposes of definitions.
Ambiguity · Adam Sennet. Stanford Encyclopedia of Philosophy. Lexical and structural ambiguity, and why it matters for communication.
Fallacies · Hans Hansen. Stanford Encyclopedia of Philosophy. Includes equivocation among the classic fallacies of ambiguity.
The Problem of Induction · Leah Henderson. Stanford Encyclopedia of Philosophy. Why generalising from examples is never certain; basis for the Examples and Statistics parts.
Karl Popper · Stephen Thornton. Stanford Encyclopedia of Philosophy. Falsification: a single counterexample can refute a general claim. Basis for Counterarguments.
The Logic of Scientific Discovery · Karl Popper, 1959. English edition, Hutchinson; German original Logik der Forschung, 1934. Primary source for falsification and the white swan example.
Analogy and Analogical Reasoning · Paul Bartha. Stanford Encyclopedia of Philosophy. Analogies suggest and explain but do not prove; how to evaluate where they break.
Epistemological Problems of Testimony · Nick Leonard. Stanford Encyclopedia of Philosophy. Testimony as a source of evidence; basis for treating quotes as testimony.
Towards Understanding Sycophancy in Language Models · Mrinank Sharma, Meg Tong, Tomasz Korbak, David Duvenaud and others, 2023. Research paper on models tending to agree with the user. Supports the Counterarguments pitfall.
Survey of Hallucination in Natural Language Generation · Ziwei Ji, Nayeon Lee, Rita Frieske and others, 2023. ACM Computing Surveys 55(12). Review of how language models produce fluent but unsupported content. Supports the general claims about invented quotes, numbers and broken instructions.
Prompting best practices · Anthropic. Public prompt-writing guide from an AI lab: clear instructions, roles, and examples that are varied so the model does not pick up unintended patterns. Supports the Examples pitfall.
Prompt engineering · OpenAI. Public prompt-writing guide from an AI lab. Background reading only.