Propositional Logic Worksheet Page 2
ADVERTISEMENT
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21What is an Argument?
Definition: An argument consists of a sequence of statements
called premises and a statement called a conclusion. An argu-
ment is valid if the conclusion is true whenever the premises are all
true.
Example:
My program won’t compile or it produces a division by 0 error.
My program does not produce a division by 0 error.
Therefore my program will not compile.
Now: Rewrite this argument in its general form by defining appro-
priate propositional variables.
This is one example of an argument form that is called disjunctive
syllogism.
2
ADVERTISEMENT
0 votes
Related Articles
Related forms
Related Categories
Parent category: Education