292:
225:"Fish speak Klingon" is the consequent here, but intuitively is not a consequence of (nor does it have anything to do with) the claim made in the antecedent that "monkeys are purple.
204:
180:
160:
136:
113:
93:
263:
Sets, Functions and Logic - An
Introduction to Abstract Mathematics, Keith Devlin, Chapman & Hall/CRC Mathematics, 3rd ed., 2004
333:
357:
20:
244:
326:
217:
The consequent in a hypothetical proposition is not necessarily a consequence of the antecedent.
352:
362:
273:
35:
8:
319:
34:. In the standard form of such a proposition, it is the part that follows "then". In an
234:
189:
165:
145:
121:
98:
78:
51:
307:
303:
346:
31:
239:
291:
299:
192:
168:
148:
124:
101:
81:
138:
is the consequent of this hypothetical proposition.
198:
174:
154:
130:
107:
87:
62:. In some contexts, the consequent is called the
344:
221:If monkeys are purple, then fish speak Klingon.
327:
210:If computers can think, then they are alive.
334:
320:
345:
30:is the second half of a hypothetical
286:
214:"They are alive" is the consequent.
13:
16:Hypothetical proposition component
14:
374:
206:is an animal" is the consequent.
290:
266:
257:
1:
250:
306:. You can help Knowledge by
21:Consequence (disambiguation)
7:
228:
10:
379:
285:
18:
245:Necessity and sufficiency
302:-related article is a
200:
176:
156:
132:
109:
89:
201:
177:
157:
133:
110:
90:
274:Conditional sentence
190:
166:
146:
122:
99:
79:
19:For other uses, see
358:Logical consequence
235:Antecedent (logic)
196:
172:
162:is a mammal, then
152:
128:
105:
85:
315:
314:
199:{\displaystyle X}
175:{\displaystyle X}
155:{\displaystyle X}
131:{\displaystyle Q}
108:{\displaystyle Q}
88:{\displaystyle P}
370:
336:
329:
322:
294:
287:
277:
270:
264:
261:
205:
203:
202:
197:
181:
179:
178:
173:
161:
159:
158:
153:
137:
135:
134:
129:
114:
112:
111:
106:
94:
92:
91:
86:
378:
377:
373:
372:
371:
369:
368:
367:
343:
342:
341:
340:
283:
281:
280:
271:
267:
262:
258:
253:
231:
191:
188:
187:
167:
164:
163:
147:
144:
143:
123:
120:
119:
100:
97:
96:
80:
77:
76:
24:
17:
12:
11:
5:
376:
366:
365:
360:
355:
339:
338:
331:
324:
316:
313:
312:
295:
279:
278:
265:
255:
254:
252:
249:
248:
247:
242:
237:
230:
227:
223:
222:
212:
211:
195:
184:
183:
171:
151:
127:
117:
116:
104:
84:
58:is called the
50:is called the
15:
9:
6:
4:
3:
2:
375:
364:
361:
359:
356:
354:
351:
350:
348:
337:
332:
330:
325:
323:
318:
317:
311:
309:
305:
301:
296:
293:
289:
288:
284:
275:
269:
260:
256:
246:
243:
241:
238:
236:
233:
232:
226:
220:
219:
218:
215:
209:
208:
207:
193:
182:is an animal.
169:
149:
141:
140:
139:
125:
102:
82:
74:
73:
72:
69:
67:
66:
61:
57:
53:
49:
45:
41:
37:
33:
29:
22:
353:Conditionals
308:expanding it
297:
282:
268:
259:
224:
216:
213:
185:
118:
70:
64:
63:
59:
55:
47:
43:
39:
27:
25:
363:Logic stubs
36:implication
32:proposition
347:Categories
251:References
240:Conjecture
71:Examples:
60:consequent
52:antecedent
28:consequent
229:See also
65:apodosis
42:implies
186:Here, "
95:, then
46:, then
300:logic
298:This
38:, if
304:stub
272:See
54:and
142:If
75:If
349::
68:.
26:A
335:e
328:t
321:v
310:.
276:.
194:X
170:X
150:X
126:Q
115:.
103:Q
83:P
56:Q
48:P
44:Q
40:P
23:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.