Professional Documents
Culture Documents
07 Rules of Inference
07 Rules of Inference
Niloufar Shafiei
Argument
Argument:
1. If you have the current password, then you can log onto the network. 2. You have a current password. Therefore, 3. You can log onto the network. An Argument is a sequence of propositions.
1
premises
Valid argument
Argument:
premises 1. If you have the current password, then true
you can log onto the network. 2. You have a current password. Therefore, 3. You can log onto the network.
conclusion true
An argument is valid if the truth of all premises implies that conclusion is true.
3
Valid argument
Argument:
p
1. If you have the current password, then q you can log onto the network. 2. You have a current password. Therefore, 3. You can log onto the network. 1. If p, then q. p q ((p q) p) q 2. p. p Tautology q Therefore, 3. q.
4
Rules of inference
p q p q
((p q) p) q