178:
22:
80:
53:
90:
111:
on
Knowledge. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the
365:
138:
148:
360:
375:
113:
370:
380:
337:
214:: "formal proof." If anyone can improve on this, that would be much appreciated (if seen fit). As it stands, it appears fine for now.
330:
The conclusion ∼ C was deduced on line 8. Together with the assumption A → B in line 3, this proves the conditional (A → B) → C.
103:
58:
33:
235:
I feel the example given is too similar to syllogism and thus slightly confusing. A better example is as follows, from
211:
185:
63:
236:
21:
341:
221:
39:
333:
217:
95:
246:, suppose we want to prove (A → B)→ ~C (If , then not C)from the first two premises below:
243:
177:
354:
108:
85:
237:
http://marauder.millersville.edu/~bikenaga/mathproof/condproof/condproof.pdf
345:
225:
276:
A → B (conditional proof assumption, "Suppose "If A, then B" is true")
107:, a collaborative effort to improve the coverage of content related to
79:
52:
15:
176:
324:(A → B)→ ~C (Conditional Proof, based on lines 3 and 8)
159:
308:~D (Law of Simplification, based on line 1)
300:C → D (Modus Ponens, based on lines 2 and 5)
316:~C (Modus Tollens, based on lines 6 and 7)
284:A (Law of Simplification, based on line 1)
8:
292:B (Modus Ponens, based on lines 1 and 3)
19:
156:
47:
242:As an example of a conditional proof in
49:
117:about philosophy content on Knowledge.
7:
101:This article is within the scope of
366:High-importance Philosophy articles
38:It is of interest to the following
14:
123:Knowledge:WikiProject Philosophy
88:
78:
51:
20:
361:Start-Class Philosophy articles
263:B → (C → D) ("If B, then ")
143:This article has been rated as
126:Template:WikiProject Philosophy
376:High-importance logic articles
1:
226:12:55, 31 December 2021 (UTC)
320:
312:
304:
296:
288:
280:
272:
259:
251:
397:
371:Start-Class logic articles
255:A∧ ~ D ("A and not D")
149:project's importance scale
381:Logic task force articles
346:01:04, 25 July 2009 (UTC)
267:
184:
155:
142:
73:
46:
160:Associated task forces:
181:
104:WikiProject Philosophy
28:This article is rated
180:
129:Philosophy articles
182:
114:general discussion
34:content assessment
336:comment added by
328:
327:
212:short description
206:Short description
203:
202:
199:
198:
195:
194:
191:
190:
96:Philosophy portal
388:
348:
249:
248:
167:
157:
131:
130:
127:
124:
121:
98:
93:
92:
91:
82:
75:
74:
69:
66:
55:
48:
31:
25:
24:
16:
396:
395:
391:
390:
389:
387:
386:
385:
351:
350:
331:
233:
208:
165:
145:High-importance
128:
125:
122:
119:
118:
94:
89:
87:
68:High‑importance
67:
61:
32:on Knowledge's
29:
12:
11:
5:
394:
392:
384:
383:
378:
373:
368:
363:
353:
352:
326:
325:
322:
318:
317:
314:
310:
309:
306:
302:
301:
298:
294:
293:
290:
286:
285:
282:
278:
277:
274:
270:
269:
268:
265:
264:
261:
257:
256:
253:
244:symbolic logic
232:
229:
207:
204:
201:
200:
197:
196:
193:
192:
189:
188:
183:
173:
172:
170:
168:
162:
161:
153:
152:
141:
135:
134:
132:
100:
99:
83:
71:
70:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
393:
382:
379:
377:
374:
372:
369:
367:
364:
362:
359:
358:
356:
349:
347:
343:
339:
335:
323:
319:
315:
311:
307:
303:
299:
295:
291:
287:
283:
279:
275:
271:
266:
262:
258:
254:
250:
247:
245:
240:
238:
230:
228:
227:
223:
219:
215:
213:
205:
187:
179:
175:
174:
171:
169:
164:
163:
158:
154:
150:
146:
140:
137:
136:
133:
116:
115:
110:
106:
105:
97:
86:
84:
81:
77:
76:
72:
65:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
338:70.18.214.96
329:
241:
234:
218:SpiralSource
216:
210:I added the
209:
144:
112:
102:
40:WikiProjects
332:—Preceding
30:Start-class
355:Categories
120:Philosophy
109:philosophy
59:Philosophy
334:unsigned
231:Untitled
147:on the
36:scale.
186:Logic
64:Logic
342:talk
222:talk
139:High
357::
344:)
321:9.
313:8.
305:7.
297:6.
289:5.
281:4.
273:3.
260:2.
252:1.
239::
224:)
166:/
62::
340:(
220:(
151:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.