Knowlus logo
We are 1%

edit

Selling weapons is a criminal activity

0Owns(Nono, M)premise
1Missile(M)premise
2∀ $x (Missile($x) ∧ Owns(Nono, $x)→Sells(West, $x, Nono))premise
3American(West)premise
4Enemy($e, America)→Hostile($e)premise
5Enemy(Nono, America)premise
6American($p) ∧ Weapon($y) ∧ Sells($p, $y, $z) ∧ Hostile($z)→Criminal($p)premise
7Missile($m)→Weapon($m)premise
8Missile(M) ∧ Owns(Nono, M)→Sells(West, M, Nono)universal elimination [2]
M/$x
9Owns(Nono, M) ∧ Missile(M)conjunction introduction [0, 1]
10Sells(West, M, Nono)modus ponens [9, 8]
11Enemy(Nono, America)→Hostile(Nono)substitution [4]
Nono/$e
12Hostile(Nono)modus ponens [5, 11]
13American(West) ∧ Weapon(M) ∧ Sells(West, M, Nono) ∧ Hostile(Nono)→Criminal(West)substitution [6]
M/$y, Nono/$z, West/$p
14Missile(M)→Weapon(M)substitution [7]
M/$m
15Weapon(M)modus ponens [1, 14]
16American(West) ∧ Sells(West, M, Nono) ∧ Hostile(Nono) ∧ Weapon(M)conjunction introduction [3, 10, 12, 15]
17Criminal(West)modus ponens [16, 13]
comments powered by Disqus
en_US © 2012-2016 Ilya Ashikhmin
Request result: